References

 [BCKB⁺98]

Michel Bidoit, Christine Choppy, Bernd Krieg-Brückner, Peter D. Mosses, and Frédéric Voisin. Concrete syntax for CASL. In CoFI Archives [CoF98]. Documents/CASL/SyntaxIssues.

 [BST98]

Michel Bidoit, Don Sannella, and Andrzej Tarlecki. Architectural specifications in CASL. In CoFI Archives [CoF98]. Note M-4.

 [CoF96]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary. In CoFI Archives [CoF98]. Documents/Tentative/LanguageSummary.

 [CoF97a]

CoFI Language Design Task Group. Response to the Referee Report on CASL. In CoFI Archives [CoF98]. Documents/CASL/RefereeResponse.

 [CoF97b]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Rationale. In CoFI Archives [CoF98]. Documents/CASL/Rationale.

 [CoF97c]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary, version 0.97. In CoFI Archives [CoF98]. Documents/CASL/Summary-v0.97.

 [CoF97d]

CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning questions and doubts. In CoFI Archives [CoF98]. Note S-1 (revised).

 [CoF97e]

CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning the semantics of constructs. In CoFI Archives [CoF98]. Note S-4.

 [CoF97f]

CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language (version 0.97) - Semantics. In CoFI Archives [CoF98]. Note S-6.

 [CoF98]

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

 [IFI97]

IFIP WG 1.3. Referee Report on CASL. In CoFI Archives [CoF98]. Documents/CASL/RefereeReport.

 [Mos98]

Till Mossakowski. Standard annotations for parsers and static semantic checkers - a proposal. In CoFI Archives [CoF98]. Note T-6 (revised).