References

 [AIS77]

Christopher Alexander, Sara Ishikawa, and Murray Silverstein. A Pattern Language. Oxford University Press, 1977.

 [CoF]

CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW and FTP.

 [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.

 [RM99]

Markus Roggenbach and Till Mossakowski. Proposal of some annotations and literal syntax in CASL. Note L-11, in [CoF], March 1999.