I. D. Zaslavsky, “On the Formalization of Scientific Theories”, MPCS, vol. 38, pp. 91–92, Dec. 2021.