Specifications are not (necessarily) executable (1989)

by I Hayes, C Jones
Venue:Software Engineering Journal