M. Roggenbach, L. Schröder, und T. Mossakowski. CASL reference manual, Volume 2960 von 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)