Knowledge representation as the basis for requirements specifications (1985)

by A Borgida, S Greenspan, J Mylopulos
Venue:Compufer