Publication Character Streams Andrew Birrell, R.M. Needham ACM SIGOPS Operating Systems Review | March 1978, Vol 12: pp. 29-31
Publication A Scan Line Algorithm for Displaying Parametrically Defined Surfaces Jim Blinn January 1978
Publication System Programming in a High Level Language Andrew Birrell December 1977 Ph.D. Thesis, University of Cambridge
Publication A terminal-oriented communication system Paul Heckel, Butler Lampson Communications of the ACM | July 1977, Vol 20(7): pp. 486-494
Publication Intuitionistic Logic with Strong Negation Yuri Gurevich Studia Logica | May 1977, Vol 36: pp. 49-59
Publication Expanded Theory of Ordered Abelian Groups Yuri Gurevich Annals of Mathematical Logic | May 1977, Vol 12: pp. 193-228
Publication Monadic Theory of Order and Topology, I Yuri Gurevich Israel Journal of Mathematics | April 1977, Vol 27: pp. 299-319
Publication Storage allocation in typed languages Butler Lampson Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977