General topology III. Paracompactness, function spaces, descriptive theory. - Springer Verlag, 1995. - ( Encyclopaedia of Mathematical Sciences ; 51).