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