An Appraisal of Program Specifications (1979)

by B H Liskov, V Berzins
Venue:n P. Wagner (ed), Research Directions in Software Technology