CASL User Manual [E-Book] : Introduction to Using the Common Algebraic Specification Language / by Michel Bidoit, Peter D. Mosses.
Bidoit, Michel.
Mosses, Peter D.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
9783540207665
Lecture Notes in Computer Science ; 2900
Full Text
Description not available.