1
Logic, automata, and algorithms /
Book
...MDG - Automata theory...