Automata and computability - Kozen, Dexter C., 1951- (Undergraduate texts in computer science, 1997)