Author: Symposium on the Complexity of Computer Computations Yorktown Heights, N.Y. 1972.