Complexity of Computation: Proceedings of a Symposium in Applied Mathematics of the American Mathematical Society and the Society for Industrial and Applied Mathematics, held in New York City, April 18-19, 1973. (= SIAM-AMS Proceedings, Vol. VII).