Knowledge Representation as the Basis for Requirements Specifications (1985)

by A Borgida, S Greenspan, J Mylopoulos
Venue:IEEE Computer