书目详细信息 : Proceedings of the 4th annual ACM symposium on theory of computing