Automata and formal languages an introduction - Kelley, Dean (Prentice Hall, 1995)