Analysis for computer scientists : Foundations, methods, and algorithms.