Programming languages and software engineering

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | April 1983, pp. 1120-1124

I. Gertsbakh, Yuri Gurevich

Transportation Research | October 1982, Vol 16B: pp. 459-470

Simon Peyton Jones

Proc ACM symposium on Lisp and functional programming | August 1982

Yuri Gurevich, Leo Harrington

14th Annual Symposium on Theory of Computing, ACM | August 1982

Yuri Gurevich, H. R. Lewis

Information and Control | August 1982, Vol 55: pp. 69-79

Yuri Gurevich

July 1982, Vol 22: pp. 103-120

N. Clarke, Y. Francez, Yuri Gurevich, P. Sistla

Symposium on Principles of Distributed Computing, ACM | July 1982, pp. 148-156

S. O. Aandraa, E. Boerger, Yuri Gurevich

July 1982, Vol 22: pp. 43-49

Andreas Blass, Yuri Gurevich

Information and Control | July 1982, Vol 55: pp. 80-88

Yuri Gurevich, Saharon Shelah

Annals of Mathematical Logic | July 1982, pp. 179-198