Theory of machines and computations proceedings. - Kohavi, Zvi; Paz, Azaria (Academic Press, 1971)