Kock A. A simple axiomatics for differentiation. Math. Scand. 1977;40:183-193. doi:10.7146/math.scand.a-11687