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