출판 System Programming in a High Level Language Andrew Birrell December 1977 Ph.D. Thesis, University of Cambridge
출판 A terminal-oriented communication system Paul Heckel, Butler Lampson Communications of the ACM | July 1977, 제 20 권(7): pp. 486-494
출판 Intuitionistic Logic with Strong Negation Yuri Gurevich Studia Logica | May 1977, 제 36 권: pp. 49-59
출판 Expanded Theory of Ordered Abelian Groups Yuri Gurevich Annals of Mathematical Logic | May 1977, 제 12 권: pp. 193-228
출판 Monadic Theory of Order and Topology, I Yuri Gurevich Israel Journal of Mathematics | April 1977, 제 27 권: pp. 299-319
출판 Storage allocation in typed languages Butler Lampson Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977