Wasserman, A. "Revised Report on the Programming Language PLAIN",

[SIGPLAN] (1981) SIGPLAN Notices 16(05) May 1981  

Languages mentioned Euclid {1977} Verifiable system software language PLAIN {1976}