论文与出版物 Crumbly Spaces Yuri Gurevich Sixth International Congress for Logic, Methodology and Philosophy of | 1979
论文与出版物 Monadic Theory of Order and Topology, II Yuri Gurevich Israel Journal of Mathematics | May 1979, 第 34 卷: pp. 45-71
论文与出版物 A General Construction for Expressing Repetition Leslie Lamport ACM SIGPLAN Notices 14 | March 1979, 第 3 卷: pp. 38-42
论文与出版物 Character Streams Andrew Birrell, R.M. Needham ACM SIGOPS Operating Systems Review | March 1978, 第 12 卷: pp. 29-31
论文与出版物 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