论文与出版物 Basic Polymorphic Typechecking Luca Cardelli Science of Computer Programming | January 1987, 第 8 卷: pp. 147-172
论文与出版物 Authentication Revisited Mike Schroeder, David K. Gifford, Roger M. Needham ACM SIGOPS Operating Systems Review | January 1987
论文与出版物 Designing a Global Name Service Butler Lampson 4th ACM Symposium on Principles of Distributed Computing | August 1986
论文与出版物 Definability by Constant-depth Polynomial-size Circuits L. Denenberg, Yuri Gurevich, S. Shelah Information and Control | April 1986, 第 70 卷: pp. 216-240
论文与出版物 Henkin Quantifiers and Complete Problems Andreas Blass, Yuri Gurevich Annals of Pure and Applied Logic 32 (1986), 1-16 | April 1986, 第 32 卷: pp. 1-16
论文与出版物 The Decision Problem for Branching Time Logic Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | August 1985, 第 50 卷: pp. 668-681
论文与出版物 Monadic Second-order Theories Yuri Gurevich Model-Theoretical Logics eds. Jon Barwise and Sol Feferman Springer-Verlag, Perspective in Mathematical Logic | 1985
论文与出版物 Yacc in Sasl — an Exercise in Functional Programming Simon Peyton Jones Software—Practice & Experience | August 1985, 第 15 卷: pp. 807-820