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