Author: International Symposium on the Theory of Machines and Computations, Technion, Haifa, 1971