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