출판 High-performance parallel graph reduction SL Peyton Jones, C Clack, J Salkild, Simon Peyton Jones Proc Parallel Architectures and Languages Europe (PARLE), Lecture notes in Computer Science | June 1989
출판 On the Strength of the Interpretation Method Yuri Gurevich (gurevich), Saharon Shelah Journal of Symbolic Logic | April 1989, 제 54 권(2): pp. 305-323
출판 On Matiyasevich’s Non-traditional Approach to Search Problems Andreas Blass, Yuri Gurevich April 1989
출판 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