Automata and theoretical computer science - Ragade, B.R (Pearson Education, 2004)