Yet another introduction to analysis - BRYANT Victor (Cambridge Cambridge university press, 1990)