ISBN 354020766X books & textbook
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science, 2900)
Bidoit, Michel Mosses, Peter D.
Springer /2004-01-29 Paperback / 260 Pages
isbn-10: 354020766X / isbn-13: 9783540207665
