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