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