References

 [BCKB⁺98]

Michel Bidoit, Christine Choppy, Bernd Krieg-Brückner, Peter D. Mosses, and Frédéric Voisin. Concrete syntax for CASL - examples of structured specifications. CoFI Document: CASL/SyntaxExamples. WWW, FTP, February 1998.

 [KB97]

Bernd Krieg-Brückner. A proposal for a concrete syntax for CASL. Revised version: Postscript, May 1997.

 [LD98]

CoFI Task Group on Language Design. Abstract syntax for CASL. CoFI Document: CASL/AbstractSyntax. WWW, FTP, February 1998.

 [VBC97]

Frédéric Voisin, Michel Bidoit, and Christine Choppy. A concrete syntax for CASL (tentative proposal). Version 2: Postscript, May 1997.