Computer Arithmetic and Self-Validating Numerical Methods
by Schröder, J., Collatz, L., Hafner, K., Rall, L. B., He, Z., Schulz-Rinne, C., Bohlender, G., Alefeld, G., Corliss, G. F., Ullrich, C., Goerisch, F., Behnke, H., Stetter, H. J., Adams, E., Kaucher, E.
fromNotes and reports in mathematics in science and engineering