A simple axiomatics for differentiation. - Kock, Anders (Mathematica Scandinavica, 1977)