Book

Formal languages and their relation to automata

by John E. Hopcroft