An Introduction Formal Languages And Automata - Linz Peter (Jones and Bartlett Publishers, 2006)