Yet another introduction to analysis - Bryant, Victor (Cambridge Univ. Pr., 1990)