CASL reference manual
Subtitle: the complete documentation of the Common Algebraic Specification Language
By: Peter D. Mosses (ed.).
Contributors: Mosses, Peter.
Series: Lecture notes in computer science,; 2960
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 528
Subjects: CASL (Computer program language)
Other titles: Common Algebraic Specification Language reference manual
Notes: Includes bibliographical references and indexes.
"Tutorial"--Cover.
Also issued online.