|  | Michel Bidoit and Peter D. Mosses: #### CASL User Manual Introduction to Using the Common Algebraic Specification Language With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki LNCS 2900
### Additional Electronic Material on this CD-ROM: The following files contain text versions of all specifications from the respective chapter of the CASL User Manual: Chapter 3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Specifications from chapter 13 These following text files contain the libraries of basic datatypes, version 0.9: Algebra I Algebra II Graphs Linear Algebra I Linear Algebra II Machine Numbers Numbers Relations and Orders Simple Datatypes Structured Datatypes The latest version can be obtained from http://www.cofi.info/Libraries. Tools for checking the specifications can be obtained from http://www.cofi.info/Tools. ### Important Note: In order to view the full articles presented on this CD-ROM you will need Adobe Acrobat Reader. If you run a Windows 98SE / NT / 2000 / ME / XP platform you can install Adobe Acrobat Reader 6.0 by clicking one of the following links: Install Acrobat Reader 6.0 (English) Install Acrobat Reader 6.0 (German) For other platforms please take a look into the Acrobat directory of this CD-ROM or visit the Adobe website at http://www.adobe.com/products/acrobat/readstep.html. lncs@springer.de © Springer-Verlag Berlin Heidelberg 2004