@Bibtex-file{Compiler/TOPPS.bib,
  title =        "Bibliography on Semantics Based Program Analysis and
                 Manipulation (from Semantics ({TOPPS}) group of
                 {DIKU})",
  author =       "TOPPS group",
  email =        "topps-inform@diku.dk",
  address =      "DIKU, Department of Computer Science\\ University of
                 Copenhagen\\ Universitetsparken 1\\ DK-2100
                 Copenhagen\\ Denmark",
  supported =    "yes",
}

.