An Introduction to Infinite-Dimensional Analysis - Prato, Giuseppe (Springer, 2006)