Floating-Point Standards --- Theory and Practice, in "Reliability in Computing: the role of interval methods in scientific computing (1988)

by W J Cody