Libraries in CASL are formed by collecting definitions of structured specifications, views, architectural specifications, and unit specifications. Moreover, libraries can refer to specifications defined in other libraries.
Section 6.1 mentions some pragmatic issues affecting the CASL design. Section 6.1 presents the concepts that underly the semantics of libraries. Finally, Section 6.1 briefly illustrates the CASL language constructs for use in libraries.