P. Kornerup and J. Muller, RN-Coding of Numbers: Definition and Some Properties, Proc. Int'l Meeting on Automated Compliance Systems (IMACS '05), 2005.

A. Booth, A SIGNED BINARY MULTIPLICATION TECHNIQUE, The Quarterly Journal of Mechanics and Applied Mathematics, vol.4, issue.2, pp.236-240, 1951.
DOI : 10.1093/qjmam/4.2.236

J. Beuchat and J. Muller, Multiplication Algorithms for Radix-2 RN-Codings and Two's Complement Numbers, technical report, 2005.

I. and I. Std, 754-2008 Standard for Floating-Point Arithmetic, 2008.

C. Lee, Multistep gradual rounding, IEEE Transactions on Computers, vol.38, issue.4, pp.595-600, 1989.
DOI : 10.1109/12.21152

A. M. Nielsen, D. Matula, C. Lyu, and G. Even, An IEEE compliant floating-point adder that conforms with the pipeline packet-forwarding paradigm, IEEE Transactions on Computers, vol.49, issue.1, pp.33-47, 2000.
DOI : 10.1109/12.822562

R. E. Moore, Interval Analysis, 1963.

P. Farmwald, On the Design of High Performance Digital Arithmetic Units, 1981.