An introduction to formal languages and automata - Linz, Peter (Narosa Pub., 2006)