Publication 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
Publication On Matiyasevich’s Non-traditional Approach to Search Problems Andreas Blass, Yuri Gurevich April 1989
Publication On the Strength of the Interpretation Method Yuri Gurevich (gurevich), Saharon Shelah Journal of Symbolic Logic | April 1989, Vol 54(2): pp. 305-323
Publication 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
Publication Parallel implementations of functional programming languages SL Peyton Jones, Simon Peyton Jones Computer Journal | April 1989, Vol 32(2): pp. 175-186
Publication An Introduction to Programming with Threads Andrew Birrell 35 | January 1989 A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
Publication Games People Play Yuri Gurevich “Collected Works of J. Richard Büchi” ed. Saunders Mac Lane and Dirk Siefkes Springer-Verlag | 1988
Publication 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
Publication Logic and the Challenge of Computer Science Yuri Gurevich Current Trends in Theoretical Computer Science ed. Egon Boerger | Published by Computer Science Press | 1988
Publication On Kolmogorov Machines and Related Issues Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | June 1988, pp. 71-82