An Introduction to Formal Languages and Automata. - Linz, Peter (Saint Joseph's University, 2001)