P. J. L. Wallis, "ADA Floating-Point Arithmetic as a Basis for Portable Numerical Software", Proceedings of the 6^th IEEE Symposium on Computer Arithmetic, Aarhus University, Aarhus, Denmark, June 20-22, 1983