CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language - Mosses, Peter D.; Mosses, Peter D. (Springer Berlin Heidelberg : Imprint: Springer, 2004)