"CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language " - читать интересную книгу автора (Peter D. Mosses)