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.

 [Mos98]

Till Mossakowski. Two "functional programming" sublanguages of CASL. Note L-9, in [CoF], March 1998.

 [RM99]

Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note M-6, in [CoF] (a new version is due in November, see also Note L-12), July 1999.

 [RM00]

Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note L-12, version 0.4, in [CoF], March 2000.