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