Automatic Differentiation: Applications, Theory, and Implementations - Bocker, Martin (Springer, 2006)