Nowak. Quantifier Elimination, Valuation Property and Preparation Theorem in Quasianalytic Geometry via Transformation to Normal Crossings. Institute of Mathematics, Polish Academy of Sciences, 2009, doi:10.4064/ap96-3-5.