SACERDOTI COEN, C.; TASSI, E. A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita. Journal of Formalized Reasoning, [S. l.], v. 1, n. 1, p. 51–89, 2008. DOI: 10.6092/issn.1972-5787/1334. Disponível em: https://jfr.unibo.it/article/view/1334. Acesso em: 8 feb. 2023.