The Convenient Setting Of Global Analysis door P.W. Michor & Andreas Kriegl