@Bibtex-file{SE/raise.bib,
  title =        "The {RAISE} Bibliography",
  author =       "Peter Gorm Larsen",
  email =        "peter@ifad.dk",
  address =      "IFAD\\ Forskerparken 10\\ DK-5230 Odense M\\ Denmark",
  supported =    "yes",
  abstract =     "References related to the formal method called RAISE",
  keywords =     "Software Engineering, Formal Methods",
}