公開日 Expanded Theory of Ordered Abelian Groups Yuri Gurevich Annals of Mathematical Logic | May 1977, 巻12: pp. 193-228
公開日 Monadic Theory of Order and Topology, I Yuri Gurevich Israel Journal of Mathematics | April 1977, 巻27: pp. 299-319
公開日 Storage allocation in typed languages Butler Lampson Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
公開日 Report of Session on Concurrency Mike Schroeder, Jack Dennis ACM SIGPLAN Notices — Proceeding of ACM SIGPLAN – SIGOPS interface meeting on Programming languages – operating systems | September 1973
公開日 A Remark on Berger’s Paper on the Domino Problem Yuri Gurevich, Igor O. Koriakov Siberian Mathematical Journal | February 1972, 巻13: pp. 319-321
公開日 Teaching of computer design to computer science undergraduates. Butler Lampson The Teaching of Computer Design | September 1971