Conal Elliot's paper on the subject is a really good starting point: http://conal.net/papers/beautiful-differentiation/beautiful-...