Topology and its applications (Amsterdam : North-Holland Publishing Co., 1980)