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.