Especificación, derivación y análisis de algoritmos: ejercicios resueltos - Martí Oliet, Narciso; Segura Díaz, Clara María; Verdejo López, José Alberto (Prentice Práctica, 2006)