Introduction to formal Languages and Automata - Linz, Peter (NAROSA, 2011)