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