Title: Formal differentiation
Subjects: Computer algorithms, Computer programming