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