Richard A. DeMillo Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1984, Washington, DC, USA STOC ACM 1984 db/conf/stoc/stoc84.html