Triangulation of Subanalytic Sets and Proper Light Subanaly-tic Maps R. M. Hardt (1976) Inventiones mathematicae