Go backward to Architectural and Unit Specifications
Go up to Appendix A: Abstract Syntax

Specification Libraries

  LIBRARY          ::=  library URL? LIBRARY-ITEM*
  LIBRARY-ITEM     ::=  SPEC-DEFN | GEN-SPEC-DEFN 
                     |  ARCH-SPEC-DEFN | UNIT-SPEC-DEFN | DOWNLOAD
! DOWNLOAD         ::=  download URL ITEM-NAME-MAP+
! ITEM-NAME-MAP    ::=  item-name-map ITEM-NAME? ITEM-NAME
! ITEM-NAME        ::=  SPEC-NAME | GEN-SPEC-NAME 
!                    |  ARCH-SPEC-NAME | UNIT-SPEC-NAME

  URL              ::=  url SITE? DIRECTORY
  SITE             --  structure insignificant for abstract syntax
CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to cofi-language@brics.dk