Publications index

Butler Lampson

The Teaching of Computer Design | September 1971

Mike Schroeder

Procedings of ACM SIGOPS Workshop on System Performance Evaluation | April 1971

Leslie Lamport

Communications of the ACM | September 1970, Vol 13(9)

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

ICLR’23 | December 1969

Pedro Henrique Penna, E. C. Inacio, M. Castro, P. Plentz, H. Freitas, François Broquedis, Jean-François Méhaut

2008 41st IEEE/ACM International Symposium on Microarchitecture | December 1969, pp. 255-264

Yuri Gurevich

Algebra and Logic | August 1969, Vol 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

Charles E. Osgood, George J. Suci, Percy H. Tannenbaum

Published by University of Illinois Press | January 1967

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

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

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