Describir: Especificación, derivación y análisis de algoritmos :