Go backward to 4 Subsorting Constructs
Go up to Top
Go forward to 5 Structuring Concepts

Part II: Structured Specifications

CoFI Note: S-1 --Version 1.3-- 25 April 1997.
Comments to cofi-semantics@brics.dk