1. H.J. Boehm, R. Cartwright, M.J. O’Donnel, and M. Riggle, Exact real arithmetic: A case study in higher order programming, Proceedings of the 1986 ACM Conference on LISP and Functional Programming, ACM, 1986, pp. 162–173.
2. A. Edalat and F. Rico, Two algorithms for root finding in exact real arithmetic, Third Real Numbers and Computers Conference, pp. 27–44, 1998.
3. J.H. Davenport, Computer algebra for cylindrical algebraic decomposition, Technical Report 88-10, Department of Mathematical Sciences, University of Bath, Claverton Down, Bath BA2 7AY, England.
4. J. H. Davenport, Y. Siret, and E. Tournier, Computer Algebra, 2nd edition, Academic Press, 1993.
5. John R. Harrison, Introduction to functional programming, Available from the web: http://www.cl.cam.ac.uk/~jrh .