An Appraisal of Program Specifications"; Computation Structures Group Memo 141-1 (0)

by Barbara H Liskov, Valdis Berzins