\bib{1972/rosenberg}
\yr 1972
\mr 50:1553
\by Arnold L. Rosenberg (chairman)
\book Fourth annual ACM symposium on theory of computing
\publ Association for Computing Machinery
\publaddr New York
\endref