Eugene Xavier S P Theory of Automata, Formal Languages and computation - 1 - New Age International Pvt Ltd, New Delhi 2004