Avron, A., & Cohen, L. (2016). Formalizing Scientifically Applicable Mathematics in a Definitional Framework. Journal of Formalized Reasoning, 9(1), 53–70. https://doi.org/10.6092/issn.1972-5787/4573