1. Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, 1983.
2. ANSI/IEEE 754–1985 Standard for Binary Floating-Point Arithmetic, Institute of Electrical and Electronics Engineers, New York, 1985.
3. Burger, R. G. and Dybvig, R. K.: Printing Floating Point Numbers Quickly and Accurately, Sigplan Notices
31 (5) (1996) pp. 108–116.
4. Chiriaev, D. and Walster, G. W.: Fortran 77 Interval Arithmetic Specification, 1997, available at
http://www.mscs.mu.edu
/globsol/Papers/spec.ps.
5. Corliss, G. F.: Industrial Applications of Interval Techniques, in: Ullrich, C. (ed.), Computer Arithmetic and Self-Validating Numerical Methods, Academic Press, 1990, pp. 91–113.