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