Lenguajes formales y teoría de la computación - Martín, John (McGraw-Hill, 2004)