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