Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek. Proof Rules for the Programming Language Euclid. In Friedrich L. Bauer, Manfred Broy, editors, Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Volume 69 of Lecture Notes in Computer Science, pages 133-163, Springer, 1978.
Abstract is missing.