TADJOUDDINE, Emmanuel M.; LV, Wenjin. Foundational Certification of Code Transformations Using Automatic Differentiation. Computer Science, [S. l.], v. 15, n. 2, p. 215, 2014. DOI: 10.7494/csci.2014.15.2.215. Disponível em: https://journals.agh.edu.pl/csci/article/view/756. Acesso em: 8 apr. 2025.