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