@Bibtex-file{Misc/miller.bib.gz,
  title =        "Dale Miller's master bib file",
  author =       "Dale Miller",
  email =        "dale@lix.polytechnique.fr",
  supported =    "yes",
}