Go backward to 4 Abstract Mark-Up
Go up to Top
Go forward to A CASL Mark-Up: Quick Reference
References
- [CoF]
-
CoFI.
The Common Framework Initiative for algebraic specification and
development, electronic archives.
Notes and Documents accessible by WWW and
FTP.
- [CoF98]
-
CoFI Language Design Task Group.
CASL - The CoFI Algebraic Specification Language - Summary.
October 1998.
Documents/CASL/Summary, in [CoF].
- [Mos97]
-
Peter D. Mosses.
Formatting CoFI documents using LaTeX.
May 1997.
Note C-1, in [CoF].
CoFI
Note: C-2 -- Version: 0.3 (for CASL v1.0) -- 30 November 1998.
Comments to mosses@csl.sri.com