Theory of finite automata with an introduction to formal languages - Carroll, John (Prentice-Hall International, 1989)