Programming languages and software engineering

Paul Heckel, Butler Lampson

Communications of the ACM | July 1977, Vol 20(7): pp. 486-494

Andrew Birrell

ACM SIGPLAN Notices | June 1977, Vol 12(6)

Yuri Gurevich

Studia Logica | May 1977, Vol 36: pp. 49-59

Yuri Gurevich

Annals of Mathematical Logic | May 1977, Vol 12: pp. 193-228

Yuri Gurevich

Israel Journal of Mathematics | April 1977, Vol 27: pp. 299-319

Butler Lampson

Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977

Yuri Gurevich

August 1976, Vol 18: pp. 23-25

Yuri Gurevich

August 1976

Butler Lampson

Proc. IFIP Cong | January 1974

Mike Schroeder, Jack Dennis

ACM SIGPLAN Notices — Proceeding of ACM SIGPLAN – SIGOPS interface meeting on Programming languages – operating systems | September 1973