1. Grundlehren der mathematischen Wissenschaften;E. Bishop,1985
2. H. Boehm and R. Cartwright. Exact real arithmetic: Formulating real numbers as functions. In D.A. Turner, editor, Research Topics in Functional Programming, University of Texas at Austin Year of Programming, pages 43–64. Addison-Wesley, 1990.
3. D. Berthelot and M. Daumas. Computing on sequences of embedded intervals. Reliable Computing, 3(3):219–227, 1997.
4. J.-C. Bajard, M.D. Ercegovac, L. Imbert, and F. Rico. Fast evaluation of elementary functions with combined shift-and-add polynomial methods. In Fourth Conference on Real Numbers and Computers, pages 75–87, Schloss Dagstuhl, Saarland, Germany, April 2000.
5. Vasco Brattka and Peter Hertling. Feasible real random access machines. Journal of Complexity, 14(4):490–526, 1998.