The kaos project: Knowledge acquisition in automated specification of software (1991)

by B Delcourt A van Lamsweerde, A Dardenne, F Dubisy
Venue:Stanford University