Programming languages and software engineering

Leslie Lamport

ACM SIGPLAN Notices 14 | March 1979, Vol 3: pp. 38-42

Andrew Birrell, R.M. Needham

ACM SIGOPS Operating Systems Review | March 1978, Vol 12: pp. 29-31

Jim Blinn

January 1978

Andrew Birrell

December 1977

Ph.D. Thesis, University of Cambridge

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