Interval methods for systems of equations: References