1. Boehm, H.J., Cartwright, R.: Exact Real Arithmetic: Formulating Real Numbers as Functions. In Turner, D., editor, Research Topics in Functional Programming, Addison-Wesley (1990) 43–64.
2. Boehm, H.J., Cartwright, R., Riggle, M., O’Donnell, M. J.: Exact Real Arithmetic: A Case Study in Higher Order Programming. ACM Symposium on Lisp and Functional Programming (1986).
3. Collatz, L.: The Numerical Treatment of Differential Equations. Springer-Verlag, Berlin Heidelberg New York Tokyo (1966).
4. Davis, P.J., Rabinowitz, P.: Methods of Numerical Integration. Academic Press, London New York (1975).
5. Di Gianantonio, P.: A functional approach to real number computation. PhD Thesis, University of Pisa (1993).