A Computational Model for Multi-Variable Differential Calculus - Edalat, A; Lieutier, A; Pattinson, D (Informarion and Computation, 2012)