Author: ACM Symposium on Theory of Computing (2nd 1970 Northampton, Mass.)