Foundations of Modern Analysis by J. Dieudonne