Automata and Computability (1997)

by D C Kozen