Niño Velásquez , Edwin Andrés , trans. “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) (March 2, 2024): 1–142. Accessed September 4, 2025. https://revistas.poligran.edu.co/index.php/mi-books/article/view/4127.