References

 [Bid96]

Michel Bidoit. On generic specifications. CoFI Language Design Study Note: MB-2. WWW, FTP, 1996.

 [CMKB⁺96]

Maura Cerioli, Till Mossakowski, Bernd Krieg-Brückner, Anne Haxthausen, Peter D. Mosses, and Olaf Owe. Subsorting in CASL. CoFI Language Design Study Note: MC++-1. WWW, FTP, 1996.

 [CoF97]

CoFI. CoFI - The Common Framework Initiative for Algebraic Specification and Development - Rationale. CoFI Document: Rationale. WWW, FTP, May 1997.

 [KB97]

Bernd Krieg-Brückner. A proposal for a concrete syntax for CASL. Revised version: Postscript, May 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. CASL - The CoFI Algebraic Specification Language - Design Proposal. CoFI Document: CASL/Proposal. WWW, FTP, May 1997.

 [LD97b]

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

 [Mos96]

Peter D. Mosses. On architectural specifications. CoFI Language Design Study Note: PDM-2. WWW, FTP, 1996.

 [Mos97]

Peter D. Mosses. CoFI: The Common Framework Initiative for Algebraic Specification and Development. In TAPSOFT '97: Theory and Practice of Software Development, volume 1214 of LNCS, pages 115-137. Springer-Verlag, 1997. CoFI Tentative Document: Mosses97TAPSOFT. WWW, FTP.

 [Sem97a]

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.

 [Sem97b]

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.

 [VBC97]

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