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