1. IEEE Standard 754 for Binary Floating Point Arithmetic, American National Standards Institute, 1985.
2. LSI Logic 1.0 Micron Cell-Based Products Databook, LSI Logic Corporation, 1991.
3. E. Adams and U. Kulisch, “Introduction”, In E. Adams and U. Kulisch (editors), Scientific Computing with Automatic Result Verification, Academic Press, Inc., 1993, pp. 1–12.
4. G. Alefeld and J. Herzberger, Introduction to Interval Computations. Academic Press, 1983.
5. G. S. Almasi and A. Gottlieb, Highly Parallel Computing, Benjamin/Cummings, 1989, p. 487.