Butler, R.W. 2009. Formalization of the Integral Calculus in the PVS Theorem Prover. Journal of Formalized Reasoning. 2, 1 (Jan. 2009), 1–26. DOI:https://doi.org/10.6092/issn.1972-5787/1349.