Munerman, V., & 		Munerman, D.
2023 Dec 20.  Аксиоматический метод доказательства соответствия  формализованных в различных моделях данных запросов. Современные информационные технологии и ИТ-образование. [Онлайн] 19:4