Casl Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language (LECTURE NOTES IN COMPUTER SCIENCE)

CASL Summary.- I. Casl Summary.- CASL Syntax.- II. Casl Syntax.- CASL Semantics.- III. Casl Semantics.- CASL Logic.- IV. Casl Logic.- CASL Libraries.- V. Casl Libraries.