Automata and computability - Kozen, Dexter 1951- (Springer, 2007)