Publication Scan Line Methods for Displaying Parametrically Defined Surfaces Jeffrey M. Lane, Loren C. Carpenter, Turner Whitted, Jim Blinn Communications of the ACM | January 1980
Publication Modest Theory of Short Chains, I Yuri Gurevich Journal of Symbolic Logic | August 1979, Vol 44: pp. 481-490
Publication Modest Theory of Short Chains, II Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | August 1979, Vol 44: pp. 491-502
Publication Crumbly Spaces Yuri Gurevich Sixth International Congress for Logic, Methodology and Philosophy of | 1979 | Sixth International Congress for Logic, Methodology and Philosophy of edition
Publication Monadic Theory of Order and Topology, II Yuri Gurevich Israel Journal of Mathematics | May 1979, Vol 34: pp. 45-71
Publication A General Construction for Expressing Repetition Leslie Lamport ACM SIGPLAN Notices 14 | March 1979, Vol 3: pp. 38-42
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
