References

 [BST98]

Michel Bidoit, Don Sannella, and Andrzej Tarlecki. Architectural specifications in CASL. Note M-4 (revised), in [CoF], July 1998.

 [CoF]

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

 [CoF96]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary. Documents/Tentative/LanguageSummary, in [CoF], December 1996.

 [CoF97a]

CoFI Language Design Task Group. Response to the Referee Report on CASL. Documents/CASL/RefereeResponse, in [CoF], August 1997.

 [CoF97b]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary, version 0.97. Documents/CASL/Summary-v0.97, in [CoF], May 1997.

 [CoF97c]

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

 [CoF97d]

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

 [CoF97e]

CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language (version 0.97) - Semantics. Note S-6, in [CoF], July 1997.

 [GB92]

J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39(1):95-146, 1992.

 [IFI97]

IFIP WG 1.3. Referee Report on CASL. Documents/CASL/RefereeReport, in [CoF], June 1997.

 [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. Documents/Tentative/Mosses97TAPSOFT, in [CoF].

 [Mos98a]

Till Mossakowski. Standard annotations for parsers and static semantic checkers - a proposal. Note T-6 (revised), in [CoF], September 1998.

 [Mos98b]

Peter D. Mosses. Formatting CASL specifications using LaTeX. Note C-2, in [CoF], June 1998.

 [RM99]

Markus Roggenbach and Till Mossakowski. Proposal of some annotations and literal syntax in CASL. Note L-11, in [CoF], March 1999.

 [Sch99]

Axel Schairer. Using standard tools to create lexers and parsers for CASL. Note T-7, in [CoF], April 1999.