Automata and computability - Kozen, Dexter (Springer, 1997)