Venema, Ted and Rivieres, Jim des "Euclid and PASCAL" pp57-69

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

Languages mentioned Euclid {1977} Verifiable system software language