This section indicates the abstract and (tentative!) concrete syntax of the constructs of specification libraries, and describes their intended interpretation, extending what was provided for basic, structured, and architectural specifications in Parts I, II, and III.
First, the constructs of local libraries are presented. These are not dependent on other libraries. Then constructs for referencing distributed libraries are added.