ACM Symposium on Theory of Computing (3rd 1971 Shaker Heights, Ohio)