Common Algebraic Specification Language