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