Geometric finiteness theorems via controlled topology. C. Grove; P. Petersen; Jyh-Yang Wu — 1990 Inventiones mathematicae