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

Part II: Structured Specifications:

  • Structuring Concepts
  • Structuring Constructs
    • CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
    Comments to cofi-language@brics.dk