Programming languages and software engineering

Yuri Gurevich, Saharon Shelah

Journal on Computing | July 1987, Vol 16(3): pp. 486-502

Miklos Ajtai, Yuri Gurevich

April 1987

Simon Peyton Jones

Published by Prentice Hall Internaltional (UK) Ltd. | April 1987

Chapters also by: Philip Wadler, Programming Research Group, Oxford; Peter Hancock, Metier Management Systems, Ltd.; David Turner, University of Kent, Canterbury

A. Sykes, Christopher Bishop, R. J. Hastie

Plasma Physics | January 1987, Vol 29: pp. 719

Luca Cardelli

Science of Computer Programming | January 1987, Vol 8: pp. 147-172

Mike Schroeder, David K. Gifford, Roger M. Needham

ACM SIGOPS Operating Systems Review | January 1987

Butler Lampson

4th ACM Symposium on Principles of Distributed Computing | August 1986

L. Denenberg, Yuri Gurevich, S. Shelah

Information and Control | April 1986, Vol 70: pp. 216-240

Andreas Blass, Yuri Gurevich

Annals of Pure and Applied Logic 32 (1986), 1-16 | April 1986, Vol 32: pp. 1-16

Yuri Gurevich

SIGACT NEWS 17 | April 1986