1. I. Agricola and T. Friedrich, Global Analysis. Differential Forms in Analysis, Geometry and Physics (Am. Math. Soc., Philadelphia, 2002).
2. S. R. Adams, ‘‘Superharmonic functions on foliations,’’ Trans. AMS 330, 625–635 (1992).
3. P. H. Berard, ‘‘From vanishing theorems to estimating theorems: The Bochner technique revisited,’’ Bull. AMS 19, 371–406 (1988).
4. A. Besse, Einstein Manifolds (Springer, Berlin, 1987).
5. R. L. Bishop and B. O’Neill, ‘‘Manifolds of negative curvature,’’ Trans. AMS 145, 1–49 (1969).