Andreas Frommer, Günter Mayer: Efficient methods for enclosing solutions of systems of nonlinear equations. Computing 44(3): 221-235 (1990)