%0 Book
%A / Dexter C. Kozen
%T Theory of computation
%U /book/101222788/Theory-of-computation/