Kock, A. “A Simple Axiomatics for Differentiation”. MATHEMATICA SCANDINAVICA, vol. 40, Dec. 1977, pp. 183-9, doi:10.7146/math.scand.a-11687.