Publication A User Machine in a Time-Sharing System 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.
Publication The Word Problem for Some Classes of Semigroups Yuri Gurevich Algebra and Logic (Russian) | July 1966, pp. 25-35
Publication Elementary Properties of Ordered Abelian Groups Yuri Gurevich AMS Translations | October 1965, Vol 46: pp. 165-192
Publication Universal Equivalence of Ordered Abelian Groups Yuri Gurevich Algebra and Logic | April 1963, pp. 37-39