An appraisal of program specifications. Computation Structures Group memo 141-1 (0)

by B H Liskov, V Berzins