A simple but realistic model of floating-point computation (1981)

by W S Brown
Venue:ACM Trans. Math. Softw