Tondeur, Philippe: Foliations on Riemannian manifolds. New York : Springer, 1988