\bib{1976/-focs}
\yr 1976
\mr 56:1766
\book 17th annual symposium on foundations of computer science
\publ IEEE Computer Society
\publaddr Long Beach, California
\endref