References

 [CoF]

CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI.

 [CoF98]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary. Documents/CASL/Summary, in [CoF], October 1998.

 [Kol98]

Kolyang. Minutes of the CoFI language design meeting at Cachan, 1998. http://www.brics.dk/Projects/CoFI/MailingLists/cofi-language/98/msg00081.html.

 [Mos98]

Peter D. Mosses. Formatting CASL specifications using LaTeX. Note C-2, in [CoF], June 1998.

 [MR99]

Till Mossakowski and Markus Roggenbach. The datatypes REAL and COMPLEX in CASL. Note M-7, in [CoF], April 1999.

 [RM99a]

Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note M-6, in [CoF], July 1999.

 [RM99b]

Markus Roggenbach and Till Mossakowski. Specifying real numbers in CASL. Talk at the 14th Workshop on Algebraic Development Techniques, Bonas, France, September 1999.