@Bibtex-file{SE/program.development.bib,
  title =        "Bibliography of publications in the area of program
                 development",
  author-1 =     "ESPRIT COMPULOG NET (Network of excellence in
                 Computational Logic)",
  supported =    "gone",
}