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