@Bibtex-file{Compiler/Inst.Computersprachen.TUWien.bib,
  title =        "Papers and talks produced by the Institut f{\"u}r
                 Computersprachen, {TU} Wien",
  author =       "M. Anton Ertl",
  email =        "anton@complang.tuwien.ac.at",
  address =      "Institut f{\"u}r Computersprachen\\ TU Wien\\
                 Resselgasse 3\\ A-1040 Wien\\ Austria",
  keywords =     "compiler, programming languages, formal logic, logic
                 programming",
}

.