1. Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading (1986)
2. Faure, C., Naumann, U.: Minimizing the tape size. In: Corliss, G., Faure, C., Griewank, A., Hascoët, L., Naumann, U. (eds.) Automatic Differentiation of Algorithms: From Simulation to Optimization, Computer and Information Science, ch. 34, pp. 293–298. Springer, New York (2001)
3. Griewank, A.: Achieving logarithmic growth of temporal and spatial complexity in reverse automatic differentiation. Optimization Methods and Software 1, 35–54 (1992)
4. Frontiers in Appl. Math.;A. Griewank,2000
5. Lecture Notes in Computational Science and Engineering;L. Hascoët,2005