An Introduction to formal languages and automata - Linz, peter (Jones and Bartlett, 1900)