Tadjouddine, E. M. and Lv, W. (2014) “Foundational Certification of Code Transformations Using Automatic Differentiation”, Computer Science, 15(2), p. 215. doi: 10.7494/csci.2014.15.2.215.