"CASL reference manual: the complete documentation of the Common Algebraic Specification Language" - читать интересную книгу автора (Peter D. Mosses)