J.-Y. Oh and H. Han, “Understanding mathematical abstraction in the formularization of Galileo’s law”, hst, vol. 12, no. 1, pp. 55-68, Jun. 2022.