@Bibtex-file{SE/formal.bib,
  title =        "A bibliography of introductory material for formal
                 methods",
  author =       "Peter Gorm Larsen",
  email =        "peter@ifad.dk",
  address =      "The Institute of Applied Computer Science (IFAD)\\
                 Forskerparken 10\\ DK-5230 Odense M\\ Denmark",
  keywords =     "introduction to formal methods",
}