Carroll John Theory of Finite Automata With an Introduction to Formal Languages / by John Carroll - New Delhi Prentice Hall 1989 - 438p.