P. Jaillon
M. O. Benouamer, P. Jaillon, D. Michelucci, J. -M. Moreau,
"
A Lazy Exact Arithmetic
", Proceedings of the 11
th
IEEE Symposium on Computer Arithmetic
, Windsor, Ontario, Canada, June 29 - July 2, 1993