Automata and computability - Kozen, Dexer C (Springer, 1997)