This Summary of the CASL design is intended for readers who are already familiar with the main concepts of algebraic specifications. In general, it does not attempt to motivate the design choices that have been taken, since a rationale for the design is provided separately [LD97b]. Examples of CASL specifications are also provided separately, in connection with the proposals for concrete syntax that have been developed [KB97][VBC97].