Programming languages and software engineering

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

Yuri Gurevich

Current Trends in Theoretical Computer Science ed. Egon Boerger | Published by Computer Science Press | 1988

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | June 1988, pp. 71-82

G. Ramalingam, C. Pandu Rangan

Journal Information Processing Letters | April 1988

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

Communications of the ACM | March 1988

Eric Horvitz

January 1988

Luca Cardelli

January 1988