Avron, A.; Cohen, L. Formalizing Scientifically Applicable Mathematics in a Definitional Framework. JFR 2016, 9, 53-70.