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