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