ADA floating-point arithmetic as a basis for portable numerical software.

Peter J. L. Wallis
Published in: IEEE Symposium on Computer Arithmetic (1983)