Foundations of global non-linear analysis - Palais Richard S (1968)