BUTLER, R. W. Formalization of the Integral Calculus in the PVS Theorem Prover. Journal of Formalized Reasoning, [S. l.], v. 2, n. 1, p. 1–26, 2009. DOI: 10.6092/issn.1972-5787/1349. Disponível em: https://jfr.unibo.it/article/view/1349. Acesso em: 28 mar. 2024.