Real and abstract analysis - Hewitt, Edwin (1965)