@Bibtex-file{SE/obscure.bib,
  title =        "Bibliography on algebraic specification (from the
                 {OBSCURE} project)",
  supported =    "no",
}