Basic real and abstract analysis - Randolph, John F. (Academic Press, 1968)