Automata and computability - Kozen, Dexter C (Springer - Verlag, 2002)