Programming languages and software engineering

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | August 1985, Vol 50: pp. 668-681

Yuri Gurevich

85T-68-203 | August 1985

Abstracts, American Mathematical Society

Simon Peyton Jones

Software—Practice & Experience | August 1985, Vol 15: pp. 807-820

Andreas Blass, Yuri Gurevich, D. Kozen

Information and Control | April 1985, Vol 67: pp. 70-90

W. D. Goldfarb, Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | December 1984, Vol 49: pp. 1253-1261

Rod Burstall, Butler Lampson

International Symposium on Semantics of Data Types | September 1984

Also Digital SRC Research Report 1, September 1984. A later version appeared as "Pebble: A kernel language for modules and abstract data types" in Information and Computation 76, 2/3 (Feb./Mar. 1988), pp 278-346

Yuri Gurevich

“Computation and Proof Theory” (Ed. M. Richter et al.) Springer Lecture Notes in Math | July 1984, Vol 1104: pp. 175-216

Yuri Gurevich, H. R. Lewis

Journal of Symbolic Logic | July 1984, Vol 49: pp. 184-191

Yuri Gurevich, Saharon Shelah

July 1984

Andreas Blass, Yuri Gurevich

Springer Lecture Notes in Computer Science | April 1984, Vol 171: pp. 24-42