International Symposium on the Theory of Machines and Computations (1971 Haifa, Israel)