General topology and its applications. (North-Holland Pub. Co., 1971)