"CASL User Manual: Introduction to Using the Common Algebraic Specification Language " - читать интересную книгу автора (Michel Bidoit, Peter D. Mosses)