Una Introducción Al Análisis Y La Verificación De Algoritmos : Área: Análisis Y Verificación De Algoritmos. MI-Books 2024, 1-142.