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