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