You are about to access our book library "CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2960) full version" .