@Bibtex-file{SE/larch.bib,
  title =        "Larch bibliography",
  author =       "Stephen J. Garland",
  email =        "garland@lcs.mit.edu",
  address =      "MIT Laboratory for Computer Science\\ 545 Technology
                 Square\\ Cambridge, MA 02139\\ USA",
  abstract =     "methods, languages, and tools for the practical use of
                 formal specifications",
}