Convergence of formal morphisms of completions of complex spaces - Izumi, Shuzo.