@Bibtex-file{Theory/logic.bib,
  title =        "Bibliography on logic (especially with respect to
                 concurrency)",
  author =       "Vaughan R. Pratt",
  address =      "Computer Science Dept.\\Stanford, CA 94305-2140\\
                 USA",
  email =        "pratt@cs.stanford.edu",
}