@Bibtex-file{SE/CoFI.bib,
  title =        "Bibliography of Co{FI} Publications",
  author =       "Peter D. Mosses",
  email =        "pdmosses@brics.dk",
  address =      "CoFI - The Common Framework Initiative for Algebraic
                 Specification and Development of Software",
  supported =    "yes",
  copyright =    "CoFI",
  abstract =     "Publications concerning CoFI (The Common Framework
                 Initiative for Algebraic Specification and Development
                 of Software) and Casl (The Common Algebraic
                 Specification Language)",
  readme =       "Includes annotations, abstracts, URLs of online
                 versions, and entries for cross-referenced books and
                 proceedings. A version with abbreviated strings and
                 entries (also omitting annotations and abstracts) is
                 available. {"}Casl{"} is rendered in small caps using
                 {"}\textsc\{...\}{"} in BibTeX entries.",
  keywords =     "CoFI, Casl, algebraic specification",
}