Introduction to formal languages, automata theory and computation - Krithivasan, Kamala (Pearson/Dorling Kindersley, 2009)