Aseltine, Edward G. and Spencer, Henry "Isolation of machine dependencies in Euclid" pp43-48

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

Languages mentioned Euclid {1977} Verifiable system software language