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.
