Requirements Modeling and System Specification In a Logic-Based Knowledge Representation Framework (1990)

by R Haidan, R Meyer
Venue:892 (DAIDA), SCS Informationstechnik