Automata and computability - Kozen, Dexter C. (Springer, 2007)