Szulkin A. Local structure of the zero-sets of differentiable mappings and application to bifurcation theory. Math. Scand. 1979;45:232-242. doi:10.7146/math.scand.a-11838