References

 [1]

Michel Bidoit, Donald Sannella, and Andrzej Tarlecki. Architectural specifications in CASL. In Proc. 7th Intl. Conference on Algebraic Methodology and Software Technology (AMAST'98), volume 1548 of LNCS, pages 341-357. Springer, 1998.

 [2]

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

 [3]

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

 [4]

CoFI Language Design Task Group. CASL - The CoFI Algebraic Specification Language - Summary. Documents/CASL/Summary, in [2], October 1998.

 [5]

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

 [6]

CoFI Semantics Task Group. CASL - The CoFI Algebraic Specification Language - Semantics (Preliminary Version). Note S-9, in [2], November 1998.

 [7]

Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski. Subsorted partial higher-order logic as an extension of CASL. Note L-10, in [2], October 1998.

 [8]

Einar W. Karlsen. Interoperability of CASL tools using CORBA. Note T-5, in [2], October 1997.

 [9]

Till Mossakowski. Translating other specification languages into CASL. Presented at WADT'98.

 [10]

Till Mossakowski. Sublanguages of CASL. Note L-7, in [2], December 1997.

 [11]

Till Mossakowski. Two "functional programming" sublanguages of CASL. Note L-9, in [2], March 1998.

 [12]

Till Mossakowski, Kolyang, and Bernd Krieg-Brückner. Static semantic analysis and theorem proving for CASL. In 12th Workshop on Algebraic Development Techniques, Tarquinia, volume 1376 of LNCS, pages 333-348. Springer-Verlag, 1998.

 [13]

Peter D. Mosses. CoFI: The Common Framework Initiative for algebraic specification. Bull. EATCS, (59):127-132, June 1996.

 [14]

Peter D. Mosses. CASL for ASF+SDF users. In ASF+SDF'97, 2nd Intl. Workshop on the Theory and Practice of Algebraic Specifications, volume http://www.springer.co.uk/ewic/workshops/ASFSDF97 of Electronic Workshops in Computing. Springer-Verlag, 1997. Invited lecture.

 [15]

Peter D. Mosses. Potential use of SGML for the CASL interchange format. Note T-4, in [2], October 1997.

 [16]

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 [2].

 [17]

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

 [18]

W. Reif. The KIV-approach to Software Verification. In KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Final Report, volume 1009 of LNCS, pages 339-368. Springer-Verlag, 1995.

 [19]

Mark van den Brand, Paul Klint, and Pieter Olivier. Aterms: Exchanging data between heterogeneous tools for CASL. Note T-3 (revised draft), in [2], March 1998.