Theory of computing Proceedings - Proceedings of ACM symposium on theory of computing(4th 1972 Colorado) (New York ACM, 1972)