“Uso de tipos abstractos de datos TAD en la demostración de teoremas propios de la teoría de conjuntos” (2015) Revista Visión - UNICIENCIA, 1(1), pp. 113–118. Available at: https://revistas.uniciencia.edu.co/index.php/vision/article/view/15 (Accessed: 30 July 2025).