Theory of machines and computations : proceedings - International Symposium on the Theory of Machines and Computations; Kohavi, Zvi; Paz, Azaria (Academic Press, 1971)