Theory of Computation (2006)

by D Kozen