Automata and Computability

by Dexter C. Kozen