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