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