Modern general topology - Nagata, Jun-iti, 1925- (North-Holland, 1985)