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