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