@TECHREPORT\{IMM2001-0527,
    author       = "A. Haxthausen and et.al.",
    title        = "{CASL} - the Common Algebraic Specification Language - Summary",
    year         = "2001",
    month        = "mar",
    number       = "",
    series       = "",
    institution  = "",
    address      = "",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/527-full.html"
}