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