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.