@inproceedings{Jac01,
  AUTHOR    = { Jacobi, Christian },
  TITLE     = { Formal Verification of a Theory of {IEEE} Rounding },
  BOOKTITLE = { {TPHOLs} 2001: Supplemental Proceedings },
  NOTE      = { Informatics Research Report EDI-INF-RR-0046, Univ. Edinburgh, UK },
  YEAR      = { 2001 },
  EDITOR    = { Richard J. Boulton and Paul B. Jackson },
}