This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Notes/M-6/.
Copyright ©2002 CoFI, The Common Framework Initiative for Algebraic Specification and Development.1
This note provides a style guide how to write specifications in CASL. The guidelines presented here were developed writing the note "Basic Datatypes in CASL" . Thus they have proven to be useful in practice.
The aim of this note is twofold: on the one hand it documents the methodology behind the "Basic Datatypes in CASL"  and thus helps to understand the design decision behind them. On the other hand the here presented "Methodological Guidelines" may be useful as a starting point for other methodologies.