@Bibtex-file{Theory/interactive.proofs.bib,
  title =        "Bibliography on interactive proofs",
  author =       "Timothy R. Veatch",
  email =        "veatch@cs.toronto.edu",
  address =      "Department of Computer Science\\University of
                 Toronto\\Toronto, Ontario M5S 1A4\\Canada",
  supported =    "no",
  readme =       "Here's a starter bibliography on interactive proofs I
                 created.",
}

.