References

 [Bid96]

Michel Bidoit. On generic specifications. CoFI Language Design Study Note: MB-2.Hypertext, Postscript, DVI, LaTeX, 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.Hypertext, Postscript, DVI, LaTeX, 1996.

 [Gro97a]

CoFI: Semantics Task Group. CASL - The CoFI Algebraic Specification Language, tentative design: Language summary, version 0.95, with annotations concerning questions and doubts. CoFI Note: S-1.Hypertext, Postscript, DVI, LaTeX, 1997.

 [Gro97b]

CoFI: Semantics Task Group. CASL - The CoFI Algebraic Specification Language, tentative design: Language summary, version 0.95, with annotations concerning the semantics of constructs. CoFI Note: S-4.Hypertext, Postscript, DVI, LaTeX, 1997.

 [Ini97]

CoFI: The Common Framework Initiative. CASL - The CoFI Algebraic Specification Language, tentative design: Language summary. CoFI Tentative Document: LanguageSummary.Hypertext, Postscript, DVI, LaTeX, 1997.

 [Mos96]

Peter D. Mosses. On architectural specifications. CoFI Language Design Study Note: PDM-2.Hypertext, Postscript, DVI, LaTeX, 1996.