@Bibtex-file{Compiler/prog.lang.theory.bib,
  title =        "Bibliography on the theory of programming languages",
  author =       "John C. Mitchell",
  email =        "mitchell@CS.Stanford.EDU",
}