Programming languages and software engineering

Yuri Gurevich

Israel Journal of Mathematics | April 1977, Vol 27: pp. 299-319

Butler Lampson

Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977

Yuri Gurevich

August 1976, Vol 18: pp. 23-25

Yuri Gurevich

August 1976

Butler Lampson

Proc. IFIP Cong | January 1974

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

Yuri Gurevich, Igor O. Koriakov

Siberian Mathematical Journal | February 1972, Vol 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