“Uso De Tipos Abstractos De Datos TAD En La demostración De Teoremas Propios De La teoría De Conjuntos”. 2015. Visión, Revista De Investigaciones 1 (1): 113-18. https://revistas.uniciencia.edu.co/index.php/vision/article/view/15.