On the Formalization of Scientific Theories - Zaslavsky, Igor D. (Mathematical Problems of Computer Science, 2021)
N/A