M. Roggenbach, L. Schröder, и T. Mossakowski. CASL reference manual, том 2960 из Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.(2004)