Analysis III, spaces of differentiable functions. - Springer Verlag, 1991. - ( Encyclopaedia of Mathematical Sciences ; 26).