Automata and Computability by Dexter Kozen & Dexter C. Kozen