Chang, Ernest; Kaden, Neil E.; Elliott; W. David "Abstract data types in Euclid" pp34-42

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

Languages mentioned Euclid {1977} Verifiable system software language