Desingularization of double covers of regular surfaces

Let $Z$ be a noetherian integral excellent regular scheme of dimension 2. Let $Y$ be an integral normal scheme endowed with a finite flat morphism $Y\to Z$ of degree 2. We give a description of Lipman’s desingularization of $Y$ by explicit equations, leading to a desingularization algorithm for $Y$.