Kock, Anders. “A Simple Axiomatics for Differentiation”. Mathematica Scandinavica, vol. 40, Dec. 1977, pp. 183-9, https://doi.org/10.7146/math.scand.a-11687.