Peter J. L. Wallis. ADA floating-point arithmetic as a basis for portable numerical software. In T. R. N. Rao, Peter Kornerup, editors, 6th IEEE Symposium on Computer Arithmetic, ARITH 1983, Aarhus, Denmark, June 20-22, 1983. pages 79-81, IEEE, 1983. [doi]
Abstract is missing.