A simple axiomatics for differentiation. - Kock, Anders (MATHEMATICA SCANDINAVICA, 1977)