Tadjouddine, Emmanuel M., and Wenjin Lv. “Foundational Certification of Code Transformations Using Automatic Differentiation”. Computer Science 15, no. 2 (March 14, 2014): 215. Accessed April 8, 2025. https://journals.agh.edu.pl/csci/article/view/756.