@Bibtex-file{Theory/flirts.bib,
  title =        "Bibliography on Formalism, Logic, Institution -
                 Relating, Translating and Structuring ({FLIRTS})",
  author =       "Till Mossakowski",
  email =        "till@tzi.de",
  supported =    "yes",
  abstract =     "Bibliography about institutions and other
                 formalizations of the notion of logic. Covered aspects
                 are: formalization of individual logics as
                 institutions, institution independent model and proof
                 theory, metatheorems, morphisms, combination of logics,
                 heterogeneous specification.",
  readme =       "FLIRTS home page:
                 http://www.informatik.uni-bremen.de/flirts",
  keywords =     "logic institution category theory",
}