Automata and Computability (1997)

by D Kozen