@Bibtex-file{SE/reuse.bib,
  title =        "A bibliography of Formal Methods applied to Software
                 Reuse and Software Reuse in general",
  author =       "John Penix",
  email =        "jpenix@ececs.uc.edu",
  address =      "Knowledge-Based Software Engineering Lab\\ University
                 of Cincinnati\\ USA",
  supported =    "gone",
}