@Bibtex-file{Theory/traces.bib,
  title =        "Bibliography on trace theory",
  author =       "Volker Diekert",
  email =        "diekert@informatik.uni-stuttgart.de",
  address =      "Theoretical Informatics Group\\ Department of Computer
                 Science\\ University of Stuttgart\\ Germany",
  keywords =     "asynchronous automata, regular trace languages,
                 concurrency, algebra, trace theory, formal languages,
                 combinatorics, domain theory, infinite traces, logic,
                 Petri nets, semi-commutations, trace structures",
  readme =       "Please send comments and additions to Holger Petersen
                 (Petersen@informatik.uni-stuttgart.de)",
}