Michel Bidoit Peter D. Mosses Casl User Manual - Introduction to Using the Common Algebraic Specification Language Lecture Notes in Computer Science 2900 Springer 2004 3-540-20766-X http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2900&issue=preprint