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