Interval arithmetic as a closed arithmetic system on a computer (1968)

by R J Hanson