Brian A. Wichmann. Towards a Formal Specification of Floating Point. Comput. J., 32(5):432-436, 1989.
@article{Wichmann89:1, title = {Towards a Formal Specification of Floating Point}, author = {Brian A. Wichmann}, year = {1989}, researchr = {https://researchr.org/publication/Wichmann89%3A1}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {32}, number = {5}, pages = {432-436}, }