Programming languages and software engineering

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

Yuri Gurevich

Bulletin of the American Mathematical Society | July 1982, Vol 7: pp. 273-277

Henrique S. Malvar

Electronics | March 1981

Henrique S. Malvar, Henrique S. Malvar

Wireless World | March 1981

NCL Beale, Simon Peyton Jones

Proc ACM conference | January 1981