Specifications are (preferably) executable (1992)

by N E Fuchs
Venue:Software Engineering Journal