Specifications Are Not (Necessarily) Executable (1989)

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