Theory of finite automata : with an introduction to formall languages - Carroll, John (Prentice Hall, 1989)
Includes index.