@Bibtex-file{SE/Bmethod.bib,
  title =        "Bibliography on the {B} method for formal
                 specification of software",
  author =       "Georges Mariano",
  email =        "georges.mariano@inrets.fr",
  supported =    "yes",
  abstract =     "This a bibliography relating to the B method and other
                 areas of formal specification",
  readme =       "This bibliography is far from being comprehensive and
                 is still evolving",
  keywords =     "formal specification, B method, software engineering",
}