\bib{1977/-focs}
\yr 1977
\mr 57:18173
\book 18th annual symposium on foundations of computer science
\publ IEEE Computer Society
\publaddr Long Beach, California
\endref