“Una Introducción Al Análisis Y La Verificación De Algoritmos : Área: Análisis Y Verificación De Algoritmos”. Libros Interactivos Multimedia (MI-Books), Mar. 2024, pp. 1-142, https://revistas.poligran.edu.co/index.php/mi-books/article/view/4127.