@ARTICLE\{IMM2003-03021,
    author       = "T. Mossakowski and A. E. Haxthausen and D. Sannella and A. Tarlecki",
    title        = "Casl, the Common Algebraic Specification  Language: Semantics and Proof Theory",
    year         = "2003",
    pages        = "285-322",
    journal      = "Computing and Informatics",
    volume       = "22",
    editor       = "",
    number       = "3 - 4",
    publisher    = "Slovac Academy of Sciences",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3021-full.html"
}