@phdthesis{Marienfeld2007,
  author      = {Daniel Marienfeld},
  title       = {Effiziente Fehlerkennung f{\"u}r arithmetische Einheiten},
  type        = {doctoralthesis},
  pages       = {VIII, 122 S. : graph. Darst.},
  year        = {2007},
}