5 Structuring ConceptsTop4 Subsorting ConstructsII Structured Specifications

II Structured Specifications


CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
Comments to cofi-language@brics.dk

5 Structuring ConceptsTop4 Subsorting ConstructsII Structured Specifications