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