Set-valued and Variational Analysis (Springer, 2011)