\bib{1972/miller}
\yr 1972
\isbn 0306307073
\mr 51:9575
\editor Raymond E. Miller
\editor James W. Thatcher
\book Complexity of computer computations
\publ Plenum Press
\publaddr New York
\endref