A concise introduction to analysis - Stroock, Daniel W. 1940-2025 (Springer, 2015)