Author: ACM Symposium on Theory of Computing (12th 1980 Los Angeles, Calif.)