References

 [BCKB⁺98a]

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.

 [BCKB⁺98b]

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

 [IFI97]

IFIP WG 1.3. Referee Report on CASL. CoFI Document: CASL/RefereeReport. WWW, FTP, June 1997.

 [LD96]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary. CoFI Tentative Document: LanguageSummary. WWW, FTP, December 1996.

 [LD97a]

CoFI Task Group on Language Design. Response to the Referee Report on CASL. CoFI Document: CASL/RefereeResponse. WWW, FTP, August 1997.

 [LD97b]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language - Rationale. CoFI Document: CASL/Rationale. WWW, FTP, May 1997.

 [LD97c]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language - Summary, version 0.97. CoFI Document: CASL/Summary-v0.97. WWW, FTP, May 1997.

 [LD98]

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

 [Sem97a]

CoFI Task Group on Semantics. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning questions and doubts. CoFI Note: S-1. WWW, FTP (revised), April 1997.

 [Sem97b]

CoFI Task Group on Semantics. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning the semantics of constructs. CoFI Note: S-4. WWW, FTP, April 1997.

 [Sem97c]

CoFI Task Group on Semantics. CASL - The CoFI Algebraic Specification Language (version 0.97) - Semantics. CoFI Note: S-6. WWW, FTP, July 1997.