Butler, R. W. “Formalization of the Integral Calculus in the PVS Theorem Prover”. Journal of Formalized Reasoning, vol. 2, no. 1, Jan. 2009, pp. 1-26, doi:10.6092/issn.1972-5787/1349.