@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 },
}
               (
geocities.com/de/christian_jacobi)                   (
geocities.com/de)