@PhdThesis{PHD:Jacobi02,
  author = 	 {Christian Jacobi},
  title = 	 {Formal Verification of a Fully {IEEE} Compliant Floating Point Unit},
  school = 	 {Computer Science Department, Saarland University, Saarbrucken, Germany},
  year = 	 {2002},
}

    Source: geocities.com/de/christian_jacobi/publications

               ( geocities.com/de/christian_jacobi)                   ( geocities.com/de)