(1) Cellular Automata Machines: A New Environment for Modeling by Tommaso Toffoli and Norman Margolus ISBN: 9780262526319 MIT Press View at publisher
(2) Microprogrammable Parallel Computer: MUNAP and Its Applications by Takanobu Baba ISBN: 9780262022637 MIT Press View at publisher
(3) Object-Oriented Concurrent Programming Edited by Mario Tokoro and Akinori Yonezawa ISBN: 9780262240260 MIT Press View at publisher
(4) Theory of Deductive Systems and Its Applications Translated by Michael Gelfond and Vladimir Lifschitz ISBN: 9780262132237 MIT Press View at publisher
(5) Theory of Recursive Functions and Effective Computability by Hartley Rogers ISBN: 9780262680523 MIT Press View at publisher