Real and abstract analysis: a modern treatment of the theory of functions of a real variable - Edwin Hewitt (Springer, 1969)
st,1/ws.c.1