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