Programming languages and software engineering

Yuri Gurevich

Chapter in “Current Trends in Theoretical Computer Science”, Eds. G. Rozenberg and A. Salomaa, World Scientific, Series in Computer Science | 1989, Vol 40

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | June 1989, pp. 93-100

SL Peyton Jones, C Clack, J Salkild, Simon Peyton Jones

Proc Parallel Architectures and Languages Europe (PARLE), Lecture notes in Computer Science | June 1989

Andreas Blass, Yuri Gurevich

April 1989

Yuri Gurevich (gurevich), Saharon Shelah

Journal of Symbolic Logic | April 1989, Vol 54(2): pp. 305-323

Yuri Gurevich, Saharon Shelah

Symposium on Logical Foundations of Computer Science in Pereslavl-Zalessky, USSR Springer Lecture Notes in Computer Science 363 | April 1989

SL Peyton Jones, Simon Peyton Jones

Computer Journal | April 1989, Vol 32(2): pp. 175-186

Andrew Birrell

35 | January 1989

A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991

Yuri Gurevich

“Collected Works of J. Richard Büchi” ed. Saunders Mac Lane and Dirk Siefkes Springer-Verlag | 1988

Yuri Gurevich, Jim Morris

CSL’87, 1st Workshop on Computer Science Logic Springer Lecture Notes in Computer Science 329 | July 1988