Lampson, B.W.; Horning, J.J.; London, R.L.; Mitchell, J.G.; Popek, G.J. "Report on the programming language Euclid"

[SIGPLAN] (1977) SIGPLAN Notices 12(02) February 1977  

Languages mentioned Euclid {1977} Verifiable system software language