Una Introducción al Análisis y la Verificación de Algoritmos : Área: Análisis y Verificación de Algoritmos. MI-Books. Published online March 2, 2024:1-142. doi:10.15765/0xbryk38