@BOOK\{IMM1992-01858,
    author       = "{RAISE} Language Group and A. E. Haxthausen",
    title        = "The {RAISE} Specification Language",
    year         = "1992",
    volume       = "",
    number       = "",
    series       = "The {BCS} Practitioners Series",
    publisher    = "Prentice Hall Int.",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1858-full.html"
}