Raymond E. Miller, James W. Thatcher:Proceedings of a symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Research Center, Yorktown Heights, New York.The IBM Research Symposia Series, Plenum Press, New York1972, ISBN 0-306-30707-3[contents]