Elements of real analysis. - Hu Sze-Tsen (1967)