Interval arithmetic specification. http://www.mscs.mu.edu/ ~globsol/Papers/spec.ps (1998)

by Dmitri Chiriaev, G William Walster