Publication Intuitionistic Logic with Strong Negation Yuri Gurevich Studia Logica | May 1977, Vol 36: pp. 49-59
Publication Expanded Theory of Ordered Abelian Groups Yuri Gurevich Annals of Mathematical Logic | May 1977, Vol 12: pp. 193-228
Publication Monadic Theory of Order and Topology, I Yuri Gurevich Israel Journal of Mathematics | April 1977, Vol 27: pp. 299-319
Publication Storage allocation in typed languages Butler Lampson Proc. 5th Ann. III Conf: Implementation and Design of Algorithmic Languages | January 1977
Publication Redundancy and robustness in memory protection Butler Lampson Proc. IFIP Cong | January 1974
Publication 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
