G. Bohlender, "Floating-Point
Computation of Functions with Maximum Accuracy", Proceedings of the 3rd IEEE
Symposium on Computer Arithmetic, Southern Methodist University, Dallas,
Texas, November 19-20, 1975G. Bohlender, W. Walter, P. Kornerup, D. W. Matula, "Semantics
for Exact Floating Point Operations", Proceedings of the 10th IEEE
Symposium on Computer Arithmetic, Grenoble, France, June 26-28, 1991