Dexter C. Kozen

Theory of Computation (Texts in Computer Science)

The Design and Analysis of Algorithms

Automata and Computability

Theory of Computation