Introduction to topology (Mir, 1985)