Go backward to
4 Subsorting Constructs
Go up to
Top
Go forward to
5 Structuring Concepts
II Structured Specifications
CoFI
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to
cofi-language@brics.dk