论文与出版物 An Ada-compatible specification language NCL Beale, Simon Peyton Jones Proc ACM conference | January 1981
论文与出版物 Two Notes on Formalized Topology Yuri Gurevich Fundamenta Mathematicae | April 1980, 第 57 卷: pp. 145-148
论文与出版物 Scan Line Methods for Displaying Parametrically Defined Surfaces Jeffrey M. Lane, Loren C. Carpenter, Turner Whitted, Jim Blinn Communications of the ACM | January 1980
论文与出版物 Modest Theory of Short Chains, II Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | August 1979, 第 44 卷: pp. 491-502
论文与出版物 Modest Theory of Short Chains, I Yuri Gurevich Journal of Symbolic Logic | August 1979, 第 44 卷: pp. 481-490
论文与出版物 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