Linz, Peter Introduction to formal languages and automata, 4th Ed - London Jones & Barlett Pub, London 2006