Requirements modeling and system specification in a logic-based knowledge representation framework (1990)

by R HAIDAN, R MEYER
Venue:Tech. Rep., ESPRIT project 892 (DAIDA), SCS Informationstechnik