Topology: An introduction with application to topological groups - McCarty, George (1967)