Nielsen, L. T. (1981). Transversality and the inverse image of a submanifold with corners. Mathematica Scandinavica, 49, 211-221. https://doi.org/10.7146/math.scand.a-11931