An Appraisal of Program Specifications (1979)

by B Liskov, V Berzins
Venue:in Research Directions in Software Technology, ed P