An introduction to formal languages and automata - Linz, Peter (Jones & Bartlett Publishers, 2001)