Specifications are not (necessarily) executable (1989)

by I J Hayes, C B Jones
Venue:Software Engineering Journal