John Mylopoulos
6 King's College Road, Pratt Building, Room 290G, University of Toronto, Toronto, Ontario M5S 3H5, Canada. jm@cs.toronto.edu
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Program development by stepwise refinement
Communications of the ACM