A Consistent and Categorical Axiomatization of Differentiation Arithmetic Applicable to First and Higher Order Derivatives. Punjab Univ. J. Math. 2025;51(11):77-100. Accessed June 29, 2025. https://pujm.pu.edu.pk/index.php/pujm/article/view/504