@Bibtex-file{Compiler/math.prog.construction.bib,
  title =        "Bibliography on the mathematics of program
                 construction",
  editor =       "Paul Hoogendijk",
  email =        "paulh@win.tue.nl",
  supported =    "gone",
}