@TechReport{BDvH+96,
  author = "F. Bartels and A. Dold and F. W. v. Henke and H. Pfeifer and H. Rue{\ss}",
  title = "{Formalizing Fixed-Point Theory in PVS}",
  institution =  "Universit{\"a}t Ulm, Fakult{\"a}t f{\"u}r Informatik",
  year =         "1996",
  number =       "96-10",
  type = "Ulmer Informatik-Berichte"
}