Euclid and Modula

David T. Barnard, W. David Elliott, David H. Thompson. Euclid and Modula. SIGPLAN Notices, 13(3):70-84, 1978. [doi]

Abstract

Abstract is missing.