@Bibtex-file{SE/vdm.plus.plus.bib,
  title =        "The {VDM}++ Bibliography",
  author =       "Peter Gorm Larsen",
  email =        "pgl@iha.dk",
  address =      "Engineering College of Aarhus\\
                 Computer Technology & Embedded Systems\\
                 Dalgas Avenue 2\\
                 DK-8000 Aarhus C\\
                 Denmark",
  supported =    "yes",
  abstract =     "References about the formal method VDM++ which is an
                 object oriented extension to ordinary VDM",
  keywords =     "Software Engineering, Formal Methods",
}

.