Library Constructs

This section describes the abstract syntax and determines the intended interpretation of the language constructs for specification libraries, extending that given for basic, structured, and architectural specifications in Parts I-III.