B. H. Liskov and E. Towster, "The Proof of Correctness Approach to Reliable Systems", The MITRE Corporation, MTR-2073, Bedford, Massachusetts, 9 March 1971.

Languages mentioned

• SPIL {1973}