Theory of finite automata with an introduction to formal languages - Carroll, John 1944-; Long, Darrell D. (Prentice-Hall international editions, 1989)