Introduction to Functional Analysis - Botelho (Springer Nature Switzerland, 2025)