Complexity of computer computations - Symposium on the Complexity of Computer Computations, New York, 1972 (Plenum Press, 1972)