TADJOUDDINE, E. M.; LV, W. 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: 2 may. 2024.