CASL User Manual : Introduction to Using the Common Algebraic Specification Language - Michel Bidoit, Peter D. Mosses ((Lecture Notes in Computer Science))