ACM Symposium on Theory of Computing (7th 1975 Albuquerque, N.M.)