Specications are not (necessarily) executable (1989)

by P Hayes, C B Jones
Venue:Software Enmgineering Journal