| ## 12 Basic Libraries Till Mossakowski Abstract. The CASL Basic Libraries contain the standard datatypes. The CASL Basic Libraries consist of specifications of often-needed datatypes and views between them, freeing the specifier from re-inventing well-known things. This can be compared to standard libraries in programming languages. While this book often discusses several styles of specification with CASL, the basic datatypes consistently follow a specific style described in [20]. LNCS 2900, pp. 143 - 154 Full article in PDF lncs@springer.de © Springer-Verlag Berlin Heidelberg 2004