Liskov, B. H. "A Design Methodology for Reliable Software Systems", pp191-199

[AFIPS] (1972) [AFIPS] Proceedings of the 1972 Fall Joint Computer Conference FJCC 41  

Languages mentioned SPIL {1973}