@CONFERENCE\{IMM2004-03318,
    author       = "M. P. Lindegaard and A. E. Haxthausen",
    title        = "Proof Support for {RAISE} - by a Reuse Approach based on Institutions",
    year         = "2004",
    pages        = "319-333",
    booktitle    = "Proceedings of {AMAST'}04",
    volume       = "",
    series       = "Lecture Notes in Computer Science",
    editor       = "",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3318-full.html"
}