Report on the programming language Euclid (1977)

by B W Lampson, J J Horning, R L London, J G Mitchell, G J Popek
Venue:ACM SIGPLAN Notices