G. J. Popek, J. J. Horning, B. W. Lampson, J. G. Mitchell, R. L. London "Notes on the design of Euclid" pp11-18

[ACM] (1977) Proceedings of an ACM conference on Language design for reliable software 1977, Raleigh, North Carolina  

Languages mentioned Euclid {1977} Verifiable system software language