출판 Nearly Linear Time Yuri Gurevich, Saharon Shelah Symposium on Logical Foundations of Computer Science in Pereslavl-Zalessky, USSR Springer Lecture Notes in Computer Science 363 | April 1989
출판 Parallel implementations of functional programming languages SL Peyton Jones, Simon Peyton Jones Computer Journal | April 1989, 제 32 권(2): pp. 175-186
출판 An Introduction to Programming with Threads Andrew Birrell 35 | January 1989 A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
출판 Games People Play Yuri Gurevich “Collected Works of J. Richard Büchi” ed. Saunders Mac Lane and Dirk Siefkes Springer-Verlag | 1988
출판 Logic and the Challenge of Computer Science Yuri Gurevich Current Trends in Theoretical Computer Science ed. Egon Boerger | 글쓴이 Computer Science Press | 1988
출판 Algebraic Operational Semantics and Modula-2 Yuri Gurevich, Jim Morris CSL’87, 1st Workshop on Computer Science Logic Springer Lecture Notes in Computer Science 329 | July 1988
출판 On Kolmogorov Machines and Related Issues Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | June 1988, pp. 71-82
출판 A unified approach to domination problems on interval graphs G. Ramalingam, C. Pandu Rangan Journal Information Processing Letters | April 1988
출판 The Cedar File System Roger M. Needham, David K. Gifford, Mike Schroeder Communications of the ACM | March 1988
출판 Functional programming on the GRIP multiprocessor SL Peyton Jones, Chris Clack, Jon Salkild, Mark Hardie, Simon Peyton Jones IEE Seminar on Digital Parallel Processors, Lisbon, Portugal | January 1988