ACM Symposium on Theory of Computing (13th 1981 Milwaukee, Wis.)