References

 [CoF97]

CoFI. CoFI - The Common Framework Initiative for Algebraic Specification and Development - Rationale. CoFI Document: Rationale. WWW, FTP, May 1997.

 [GM92]

Joseph A. Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217-273, 1992.

 [KB97]

Bernd Krieg-Brückner. A proposal for a concrete syntax for CASL. Preliminary versions: directory; revised version: Postscript (to appear), May 1997.

 [LD96]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language (Tentative Design) - Language Summary. CoFI Tentative Document: LanguageSummary. WWW, FTP, December 1996.

 [LD97a]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language - Design Proposal. CoFI Document: CASL/Proposal. WWW, FTP, May 1997.

 [LD97b]

CoFI Task Group on Language Design. CASL - The CoFI Algebraic Specification Language - Summary. CoFI Document: CASL/Summary. WWW, FTP, May 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. CoFI Tentative Document: Mosses97TAPSOFT. WWW, FTP.

 [Sem97]

CoFI Task Group on Semantics. CASL - The CoFI Algebraic Specification Language (Tentative Design) - Language Summary, with annotations concerning the semantics of constructs. CoFI Note: S-4. WWW, FTP, April 1997.

 [SST92]

Don Sannella, Stefan Sokolowski, and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica, 29:689-736, 1992.

 [VBC97]

Frédéric Voisin, Michel Bidoit, and Christine Choppy. A concrete syntax for CASL. Preliminary version: Postscript; revised version: Postscript (to appear), May 1997.