This chapter indicates the abstract and 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-III.
First, the constructs of local libraries are presented. Such libraries are not dependent on other libraries. Then constructs for referencing distributed libraries are added. Finally, the form and intended interpretation of library names are explained.