A. Kock, “A simple axiomatics for differentiation”., Math. Scand., vol. 40, pp. 183–193, Dec. 1977.