Munerman, Victor, AND 		Munerman, Daniel.
" Аксиоматический метод доказательства соответствия  формализованных в различных моделях данных запросов" <em>Современные информационные технологии и ИТ-образование</em> [Онлайн], Том 19 Номер 4 (20 December 2023)