\bib{1984/demillo-stoc}
\yr 1984
\isbn 0--89791--133--4
\mr 87g:68005
\editor Richard A. DeMillo
\book Proceedings of the sixteenth annual ACM symposium on theory of computing. Held in Washington, D.C., April 30--May 2, 1984
\publ Association for Computing Machinery
\publaddr New York
\endref