Prev Up Next
Go backward to 4 Some points for discussion
Go up to Top
Go forward to Appendices:

References

 [BCKB+97]
Michel Bidoit, Christine Choppy, Bernd Krieg-Brückner, Peter D. Mosses, and Frédéric Voisin. Concrete syntax for CASL (basic specifications). CoFI Document: CASL/SyntaxIssues. WWW, FTP, November 1997.

CoFI Note: M-2 ---- 5 January 1998.
Comments to Christine.Choppy@irin.univ-nantes.fr

Prev Up Next