Dominique Michelucci Jean-Michel Moreau Sebti Foufou Robustness and Randomness. 127-148 2008 Reliable Implementation of Real Number Algorithms http://dx.doi.org/10.1007/978-3-540-85521-7_8 conf/dagstuhl/2008real db/conf/dagstuhl/real2008.html#MichelucciMF08