@InCollection{Mossakowski:2004:CASL-Logic,
  author =       "Till Mossakowski and Piotr Hoffman and Serge Autexier
                 and Dieter Hutter",
  title =        "\textsc{Casl} Logic",
  chapter =      "IV",
  type =         "Part",
  note =         "Edited by T. Mossakowski",
  crossref =     "CASL-RM",
}

@Book{CASL-RM,
  key =          "\textsc{Casl} Reference Manual",
  author =       "{CoFI (The Common Framework Initiative)}",
  title =        "\textsc{Casl} Reference Manual",
  booktitle =    "\textsc{Casl} Reference Manual",
  year =         "2004",
  publisher =    "Springer",
  series =       "LNCS Vol.~2960 (IFIP Series)",
}