CASL User Manual Introduction to Using the Common Algebraic Specification Language - Bidoit, Michel; Bidoit, Michel; Mosses, Peter D. (Springer Berlin Heidelberg : Imprint: Springer, 2004)