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