@TECHREPORT\{IMM2002-01873,
    author       = "H. Baumeister and M. Cerioli and A. Haxthausen and T. Mossakowski and D. Sannella and A. Tarlecki and P. Mosses",
    title        = "{CASL} - The Common Algebraic Specification Language - Semantics",
    year         = "2002",
    month        = "apr",
    number       = "",
    series       = "",
    institution  = "",
    address      = "",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1873-full.html"
}