Siegfried M. Rump: Improved Iteration Schemes for Validation Algorithms for DenseSparse Nonlinear Systems. Computing 57(1): 77-84 (1996)