Niño Velásquez , E.A. tran. 2024. 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), 1–142. DOI:https://doi.org/10.15765/0xbryk38.