E Examples

[CHANGED:] This appendix illustrates the concrete syntax of specifications in CASL (although not all features of CASL, nor all styles of specifications supported by CASL, are covered).

The examples are shown only in the display format, but the intended input syntax should in general be easy to deduce--in fact, it should be the same text as displayed when browsing the HTML-formatted version of this document (modulo display annotations, which are needed for displaying mathematical symbols such as u , as well as for reserved input tokens such as `.'). The input syntax of the examples is also available by FTP. []