"CASL user manual: introduction to using the Common algebraic specification language" - читать интересную книгу автора (Michel Bidoit, Peter D. Mosses)