A. Edalat and R. Heckmann, Computing with Real Numbers, Lecture Notes in Computer Science, vol.2395, pp.193-267, 2002.
DOI : 10.1007/3-540-45699-6_5

J. Blanck, Efficient exact computation of iterated maps, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.41-59, 2005.
DOI : 10.1016/j.jlap.2004.07.004

V. Mnissier-morain, Arbitrary precision real arithmetic: design and algorithms, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.13-19, 2005.
DOI : 10.1016/j.jlap.2004.07.003

W. Gosper, Continued fraction arithmetics, Artificial Intelligence Memo, vol.239, 1972.

J. Vuillemin, Exact real computer arithmetic with continued fractions, IEEE Transactions on Computers, vol.39, issue.8, pp.1087-1105, 1990.
DOI : 10.1109/12.57047
URL : https://hal.archives-ouvertes.fr/inria-00075792

E. Bishop and D. Bridges, Constructive Analysis, 1985.
DOI : 10.1007/978-3-642-61667-9

-. J. Hans, R. Boehm, M. Cartwright, and M. J. Donnell, Exact real arithmetic:A case study in higher order programming, Proceedings of the 1986 Lisp and Functional Programming Conference, pp.162-173, 1986.

V. Lee, Optimizing Programs over the Constructive Reals, 1991.

P. Gowland and D. Lester, The correctness of an implementation of exact arithmetic, Proceedings of the Fourth Conference on Real Numbers and Computers, 2000.

D. Lester and P. Gowland, Using PVS to validate the algorithms of an exact arithmetic, Theoretical Computer Science, vol.291, issue.2, pp.203-218, 2003.
DOI : 10.1016/S0304-3975(02)00226-8

K. Briggs, Implementing exact real arithmetic in python, pp.74-81, 2006.

P. Gowland and D. , A Survey of Exact Arithmetic Implementations, Lecture Notes in Computer Science, vol.2064, pp.30-47, 2001.
DOI : 10.1007/3-540-45335-0_3

J. Blanck, Exact Real Arithmetic Systems: Results of Competition, Lecture Notes in Computer Science, vol.2064, p.389, 2001.
DOI : 10.1007/3-540-45335-0_24

A. Edalat and P. J. Potts, A New Representation for Exact Real Numbers, Electronic Notes in Theoretical Computer Science, vol.6, pp.119-132, 1997.
DOI : 10.1016/S1571-0661(05)80166-5

P. J. Potts, Exact real arithmetic using M?bius transformations, 1999.

B. Lambov and R. , RealLib: An efficient implementation of exact real arithmetic, Mathematical Structures in Computer Science, vol.17, issue.01, 2006.
DOI : 10.1017/S0960129506005822

J. Van-der-hoeven, Computations with effective real numbers, Theoretical Computer Science, vol.351, issue.1, pp.52-60, 2006.
DOI : 10.1016/j.tcs.2005.09.060

N. Th and . Mller, The iRRAM: Exact Arithmetic in C++, Lecture Notes in Computer Science, vol.2064, pp.222-252, 2001.

K. Weihrauch, An Introduction to Computable Analysis, 2000.