Proceedings of the thirty-fourth annual ACM Symposium on Theory of Computing - Reif, J. H. (ACM,)