Conference proceedings of the ... annual ACM Symposium on Theory of Computing. (Association for Computing Machinery, 1980)