Fundamental of Real Analysis (Springer, 2010)