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), pp. 1–142. doi:10.15765/0xbryk38.