Marius A. Cornea-Hasegan

M. A. Cornea-Hasegan, R. A. Golliver, P. Markstein, "Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms", Proceedings of the 14th IEEE Symposium on Computer Arithmetic, Adelaide, Australia, April 14-16, 1999
M. Cornea, C. Anderson, J. Harrison, P. T. P. Tang, E. Schneider, C. Tsen, "A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format", Proceedings of the 18th IEEE Symposium on Computer Arithmetic, Montpellier, France, June 25-27, 2007