@Bibtex-file{SE/abstract.state.machines.bib,
  title =        "Annotated Bibliography on Abstract State Machines
                 ({ASM}s)",
  author-1 =     "Egon B{\"o}rger",
  email-1 =      "boerger@di.unipi.it",
  author-2 =     "James K. Huggins",
  email-2 =      "huggins@acm.org",
  address =      "Kettering University\\ Flint, MI, 48504-4898\\ USA",
  supported =    "yes",
  abstract =     "BibTeX bibliography of all known papers using the
                 formal method for specification and verification known
                 as Abstract State Machines (ASMs), formerly known as
                 Evolving Algebras.",
  readme =       "Comments, additions and corrections are welcome and
                 should be sent to boerger@di.unipi.it and
                 huggins@acm.org \par Many of the listed papers are
                 available at the ASM Home Page at
                 http://www.eecs.umich.edu/gasm",
  keywords =     "Abstract State Machines, ASMs, Evolving Algebras,
                 Formal Methods",
}