Foundations of global non-linear analysis - Palais, Richard S. (Cambridge University Press, 1968)