Boese, F. G., & Luther, W. J. (2003). Accurate enclosure of the zero set of multivariate polynomials. BIT Numerical Mathematics, 43, 245-261.