2015. Uso de tipos abstractos de datos TAD en la demostración de teoremas propios de la teoría de conjuntos. Revista Visión - UNICIENCIA. . 1, 1 (Dec. 2015), 113–118.