@InCollection{Mossakowski:CASLLOGIC04,
  author =       "Till Mossakowski and Piotr Hoffman and Serge Autexier
                 and Dieter Hutter",
  title =        "Part {IV}: {CASL} Logic",
  pages =        "275--359",
  editor =       "Peter D. Mosses",
  booktitle =    "{CASL} Reference Manual -- The Complete Documentation
                 of the {Common Algebraic Specification Language}",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "2960",
  year =         "2004",
  ISBN =         "978-3-540-21301-7",
  ee =           "http://dx.doi.org/10.1007/b96103",
}