Foundations of global non-linear analysis - Palais, R.S. (New York W. A. Benjamin, 1968)