\bib{1979/-focs}
\yr 1979
\mr 82a:68004
\book 20th annual symposium on foundations of computer science
\publ IEEE Computer Society
\publaddr New York
\endref