Comparison geometry / edited by Karsten Grove, Peter Petersen. - Grove, Karsten; Petersen, Peter, 1962- (Mathematical Sciences Research Institute publications ;, 1997)