Programming languages & software engineering

Mike Schroeder, Jack Dennis

ACM SIGPLAN Notices — Proceeding of ACM SIGPLAN – SIGOPS interface meeting on Programming languages – operating systems | September 1973

Butler Lampson

February 1973

Xerox PARC memo | February 1973

Yuri Gurevich, Igor O. Koriakov

Siberian Mathematical Journal | February 1972, 第 13 卷: pp. 319-321

Butler Lampson

The Teaching of Computer Design | September 1971

Xu Zhang, Yuan Zhao, Ziang Cui, Liqun Li, Shilin He, Qingwei Lin 林庆维, Yingnong Dang, S. Rajmohan, Dongmei Zhang

ICLR’23 | December 1969

Yuri Gurevich

Algebra and Logic | August 1969, 第 8 卷: pp. 362-363

Yuri Gurevich

April 1969, pp. Pages 284–308 of the Russian original Pages – 160–174 of the English translation

Yuri Gurevich

Algebra and Logic (Russian) | May 1967, pp. 45-62

Butler Lampson, W.W. Lichtenberger, M.W. Pirtle

Proceedings of the IEEE | December 1966, 第 54 卷(12): pp. 1766-1774

Reprinted in Computer Structures, ed. Bell and Newell, McGraw-Hill, 1971, pp 291-300.

Yuri Gurevich

Algebra and Logic (Russian) | July 1966, pp. 25-35