Adamus, J., Bierstone, E., & Milman, P. D. (2008). Uniform linear bound in Chevalley's lemma. Canadian Journal of Mathematics, 60(4), 721-733.