References

 [BCKB⁺98]

Michel Bidoit, Christine Choppy, Bernd Krieg-Brückner, Peter D. Mosses, and Frédéric Voisin. Concrete syntax for CASL. Documents/CASL/SyntaxIssues, in [CoF], February 1998.

 [CoF]

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

 [GB92]

J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39(1):95-146, 1992.

 [Mos98a]

Till Mossakowski. Standard annotations for parsers and static semantic checkers - a proposal. Note T-6 (revised), in [CoF], September 1998.

 [Mos98b]

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

 [RM99]

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

 [Sch99]

Axel Schairer. Using standard tools to create lexers and parsers for CASL. Note T-7, in [CoF], April 1999.