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