论文与出版物 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