**[Cod84]**-
W.J. Cody.
A proposed radix- and word-lenght-independent standard for
floating-point arithmetic.
*IEEE Micro*, 1984. **[CoF]**- CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW and FTP.
**[Gol91]**-
David Goldberg.
What every computer scientist should know about floating-point
arithmetic.
*ACM Computing Surveys*, 23(1):5 - 48, 1991. **[Har98]**-
John Harrison.
*Theorem Proving with the Real Numbers*. Springer Verlag, 1998. **[HKBM98]**- Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski. Subsorted partial higher-order logic as an extension of CASL. Note L-10, in [CoF], October 1998.
**[IEE87]**-
IEEE.
IEEE standard 754-1985 for Binary Floating-Point
Arithmetic.
*Reprinted in SIGPLAN*, 1987. **[KM81]**-
Ulrich W. Kulisch and Willard L. Miranker.
*Computer Arithmetic in Theory and Practice*. Academic Press, 1981. **[Moo88]**-
R.E. Moore, editor.
*Reliability in Computing, The Role of Interval Methods in Scientific Computations*. Academic Press, 1988. **[RM99a]**- Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note M-6, in [CoF], March 1999.
**[RM99b]**- Markus Roggenbach and Till Mossakowski. Proposal of some annotations and literal syntax in CASL. Note L-11, in [CoF], March 1999.

CoFI Note: M-7 -- Version: 0.2 -- 13 April 1999.

Comments to till@informatik.uni-bremen.de