Proceedings of the third annual ACM symposium on Theory of computing - Harrison, Michael A (ACM Conferences, 1971)