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