A. Avron and L. Cohen, “Formalizing Scientifically Applicable Mathematics in a Definitional Framework”, JFR, vol. 9, no. 1, pp. 53–70, Jan. 2016.