Avron, Arnon, and Liron Cohen. 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.