Gary T. Leavens. Not a Number of Floating Point Problems. Journal of Object Technology, 5(2):75-83, 2006. [doi]
@article{Leavens06, title = {Not a Number of Floating Point Problems}, author = {Gary T. Leavens}, year = {2006}, url = {http://www.jot.fm/issues/issue_2006_03/column8}, researchr = {https://researchr.org/publication/Leavens06}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {5}, number = {2}, pages = {75-83}, }