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