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