@Bibtex-file{SE/lcg.ist.bib,
  title =        "Bibliography of the Logic and Computation Group,
                 {IST}, Lisbon",
  editor =       "Amilcar Sernadas",
  email =        "acs@math.ist.utl.pt",
  address =      "Logic and Computation Group\\ Department of
                 Mathematics\\ Instituto Superior Tecnico\\ Lisboa\\
                 Portugal",
  supported =    "yes",
  abstract =     "Publications since 1988 of members of the Logic and
                 Computation Group, IST, Lisbon. The main goals of the
                 Group are on {"}formal{"} (logical, algebraic and
                 categorial) concepts, techniques and tools for software
                 specification, design and certification, with emphasis
                 on object-oriented, concurrent, reactive systems.",
  keywords =     "formal specification, system verification, reactive
                 systems, object-orientation, feature-orientation,
                 temporal logic, applications of category theory,
                 institutions, default logic, abduction",
}