Analysis for Computer Scientists - Oberguggenberger, Michael; Ostermann, Alexander (Springer London, 2011)