Lenguajes formales y teoría de la computación - Martin, John C.; Blanco y Correa Magallanes, Jorge Luis (México, D. F. : McGraw-Hill /Interamericana Editores, 2004)
Traducido de la tercera edición en inglés de la obra : Introduction to languages and the theory of computation.
Keywords: LENGUAJES FORMALES; TEORIAS DE LAS MAQUINAS SECUENCIALES; COMPUTADORES- -- TEORIAS; NOTACION MATEMATICA; LOGICA SIMBOLICA Y MATEMATICA