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