Para la parte básica de inducción: "Mathematical Structures for Computer Science" J.L. Gersting [ QA39.2 G47 1999 ]
"Automata and Computability" D. Kozen.
"Lenguajes formales y teoría de la computación" J.C. Martin.
"Automata Theory with Modern Applications." James A. Anderson.
"Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science." Martin Davis, Ron Sigal, Elaine J. Weyuker.
"Introduction to Automata Theory, Languages, and Computation." J.E. Hopcroft, R. Motwani y J. Ullman.