Programación : formalización, análisis y reutilización de algoritmos matemáticos - Llorens Largo, Faraón (2002)