Introducción a la teoría de autómatas, lenguajes y computación - Hopcroft, John E., 1939- (Addison Wesley, 2002)