David Defour, Guillaume Hanrot, Vincent Lefèvre, Jean-Michel Muller, Nathalie Revol, et al.. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic.
Numerical Algorithms, Springer Verlag, 2004, 37 (1-4), pp.367-375.
⟨inria-00099967⟩