References

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

 [RM99]

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