Complexity of Computer Computations : proceedings of a Symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Research Center (Plenum Press, 1972)