An introduction to formal languages and automata - Linz, Peter (D. C. Heath, 2000)