Introduction to automata theory, languages, and computation - Hopcroft, John E., 1939-; Ullman, Jeffrey D., 1942 (Addison-Wesley, 1979)
Includes index