\bib{1982/-focs}
\yr 1982
\mr 85k:68007
\book 23rd annual symposium on foundations of computer science
\publ IEEE Computer Society
\publaddr New York
\endref