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