Introducción a la teoría de Autómatas, lenguajes y computación. - Hopcorft, John E. (CECSA, 1993)