Barnard, D. T., W. D. Elliott, et al. "Euclid and Modula."

[SIGPLAN] (1978) SIGPLAN Notices 13(03) March 1978  

Languages mentioned Euclid {1977} Verifiable system software language Modula {1977} Concurrent modular language after Pascal