Books by International Symposium on the Theory of Machines and Computations (1971 Haifa, Israel) on BookTides.