C: The Complete Documentation of the Common Algebraic Specification LanguageAuthor: Peter D. Mosses Published by Springer Berlin Heidelberg ISBN: 978-3-540-21301-7 DOI: 10.1007/b96103Table of Contents:Casl Summary Casl Syntax Casl Semantics Casl Logic Casl Libraries, "Tutorial"--Cover, System requirements for accompanying CD-ROM: Adobe Acrobat Reader and CD-ROM drive, Includes bibliographical references and indexes