Avron, Arnon, and Liron Cohen. “Formalizing Scientifically Applicable Mathematics in a Definitional Framework”. Journal of Formalized Reasoning 9, no. 1 (January 1, 2016): 53–70. Accessed April 25, 2024. https://jfr.unibo.it/article/view/4573.