London, Ralph L. et al "Proof Rules for the Programming Language Euclid" pp1-26

(1978) Acta Informatica 10(1) August 4, 1978  

Languages mentioned Euclid {1977} Verifiable system software language