The automatic analysis and control of error in digital computation based on the use of interval numbers (1965)

by R E Moore
Venue:Error in Digital Computation, 1:61–130