Introduction to automata theory, languages, and computation
Hopcroft, John E.,1939-
Ullman, Jeffrey D.,1942-
Reading, Mass. London Addison-Wesley
1979
Bibliography: p.396-410. - Includes index
Machine theory.