Notas sobre la teoría de autómatas finitos, expresiones regulares y grámatica formal - Abarca, Alfonso (San Salvador : UCA Editores, 2002)
Keywords: Notación matemática; Automath (Lenguaje formal)