“Una Introducción al Análisis y la Verificación de Algoritmos : Área: Análisis y Verificación de Algoritmos”, MI-Books, pp. 1–142, Mar. 2024, Accessed: May 20, 2024. [Online]. Available: https://revistas.poligran.edu.co/index.php/mi-books/article/view/4127