An Introduction to Formal Languages and Automata - Peter Linz (d.c. Heath and Company, 1990)