R. Baker Kearfott: Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers. Computing 57(2): 149-162 (1996)