@phdthesis{Hin00Hab,
  title = "Generic Programs and Proofs",
  author = "Hinze, Ralf",
  year = "2000",
  school = "Universit\"{a}t Bonn",
}