公開日 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
公開日 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