M. Cornea, J. Harrison, and P. T. Tang, Scientific Computing on Itanium-Based Systems, 2002.

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

N. Higham, Accuracy and Stability of Numerical Algorithms, 2002.
DOI : 10.1137/1.9780898718027

D. Knuth, The Art of Computer Programming, 1998.

V. Lefèvre, Developments in Reliable Computing, chapter An Algorithm That Computes a Lower Bound on the Distance Between a Segment and Z 2, pp.203-212, 1999.

V. Lefèvre, Moyens Arithmétiques Pour un Calcul Fiable, 2000.

V. Lefèvre and J. Muller, Worst cases for correct rounding of the elementary functions in double precision, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, 2001.
DOI : 10.1109/ARITH.2001.930110

. Møller, Quasi double-precision in floating point addition, BIT, vol.7, issue.6, pp.37-50, 1965.
DOI : 10.1007/BF01975722