Proceedings of the third annual ACM symposium on Theory of computing - Harrison, Michael A (Association for Computing Machinery, 1971)