Basic specifications consist of declarations, definitions, and axioms. Section 3.1 considers various pragmatic issues affecting the CASL design. Section 3.2 presents the main concepts that underly the semantics of basic specifications. Finally, Section 3.3 provides examples that illustrate the CASL language constructs for use in basic specifications.