| ## A CASL Quick Reference Michel Bidoit1 and Peter D. Mosses2 1 Laboratoire Spécification et Vérification, CNRS UMR 8643 École Normale Supérieure de Cachan 61, Avenue du Président Wilson, 94235 Cachan Cedex, France `bidoit@lsv.ens-cachan.fr` 2 University of Aarhus, BRICS and Department of Computer Science Aabogade 34, 8200 Aarhus N, Denmark `pdmosses@brics.dk` Abstract. This appendix provides an overview of the (concrete) syntax of each part of CASL. LNCS 2900, pp. 193 - 201 Full article in PDF lncs@springer.de © Springer-Verlag Berlin Heidelberg 2004