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