Perspectives on Enclosure Methods

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs

PASCAL-XSC: Language Reference with Examples