Theory of Finite Automata With an Introduction to Formal Languages - Carroll John (New Delhi Prentice Hall, 1989)