Acta Informatica 10(1) August 4, 1978

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