Zaslavsky, I.D. 2021. On the Formalization of Scientific Theories. Mathematical Problems of Computer Science. 38, (Dec. 2021), 91–92.