Kock, A. (1977) “A simple axiomatics for differentiation”., MATHEMATICA SCANDINAVICA, 40, pp. 183–193. doi: 10.7146/math.scand.a-11687.