Theory of Computation (2006)

by Dexter Kozen