Topology: a first course (Englewood Cliffs, N.J., Prentice-Hall, 1975)