Götz Alefeld. Enclosure Methods. In Christian Ullrich, editor, Computer Arithmetic and Self-Validating Numerical Methods. Volume 7 of Notes and reports in mathematics in science and engineering, pages 55-72, Academic Press, 1990. [doi]
Abstract is missing.