Specifications are (Preferably) Executable (1992)

by N E Fuchs
Venue:Software Engineering Journal