Foundations of Real and Abstract Analysis - Bridges, Douglas S. (Springer, 1998)