Rivieres, Jim des and Spencer, Henry "Readability and writability in Euclid" pp49-56

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

Languages mentioned Euclid {1977} Verifiable system software language