Introducción a la teoría de autómatas, lenguajes y computación - Hopcroft, John E; Motwani, Rajeev; Ullman, Jeffrey D (Pearson Educación, 2002)