Bibliography of Obsolete CoFI Documents

February 5, 2001

This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Documents/Obsolete/.

Copyright ©2001 CoFI, The Common Framework Initiative for Algebraic Specification and Development.¹

Abstract

This bibliography lists obsolete CoFI documents, in approximate chronological order.

The documents are still available in various formats from the CoFI WWW and FTP archives.

References

 [1]

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

 [2]

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

 [3]

CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Design Proposal.
Documents/CASL/Proposal, in [16], May 1997.

 [4]

CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Notes of Dissent from the Design Proposal.
Documents/CASL/Dissent, in [16], May 1997.

 [5]

CoFI Tools Task Group.
CASL - The CoFI Algebraic Specification Language - Intended Tools.
Documents/CASL/Tools, in [16], May 1997.

 [6]

Bernd Krieg-Brückner.
A proposal for a concrete syntax for CASL.
Revised version: Postscript, in [16], May 1997.

 [7]

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

 [8]

IFIP WG 1.3.
Referee Report on CASL.
Documents/CASL/RefereeReport (referring to CASL version 0.97), in [16], June 1997.

 [9]

CoFI Language Design Task Group.
Response to the Referee Report on CASL.
Documents/CASL/RefereeResponse (initial response, referring to CASL version 0.97), in [16], August 1997.

 [10]

CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Summary, version 0.98.
Documents/CASL/Summary-v0.98, in [16], September 1997.

 [11]

Michel Bidoit, Christine Choppy, Bernd Krieg-Brückner, Peter D. Mosses, and Frédéric Voisin.
Concrete syntax for CASL.
Documents/CASL/SyntaxIssues, in [16], February 1998.

 [12]

Michel Bidoit, Christine Choppy, Bernd Krieg-Brückner, Peter D. Mosses, and Frédéric Voisin.
Concrete syntax for CASL - examples of structured specifications.
Documents/CASL/SyntaxExamples (obsolete), in [16], February 1998.

 [13]

CoFI Language Design Task Group.
Abstract syntax for CASL.
Documents/CASL/AbstractSyntax, in [16], February 1998.

 [14]

CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Summary, version 0.99.
Documents/CASL/Summary-v0.99, in [16], April 1998.

 [15]

CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Summary, version 1.0.
Documents/CASL/Summary-v1.0, in [16], October 1998.

 [16]

CoFI.
The Common Framework Initiative for algebraic specification and development, electronic archives.
Notes and Documents accessible from http://www.brics.dk/Projects/CoFI.