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), 113-118. https://revistas.uniciencia.edu.co/index.php/vision/article/view/15