A. Szulkin, “Local structure of the zero-sets of differentiable mappings and application to bifurcation theory”., Math. Scand., vol. 45, pp. 232–242, Dec. 1979, doi: 10.7146/math.scand.a-11838.