Elements of general topology - Hu Sze-tsen (1965)