On the guaranteed convergence of the square-root iteration method

161-JCAM-safe-2004-korenski