E. A. . Niño Velásquez , Tran., “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, doi: 10.15765/0xbryk38.