Munerman, Victor, & Daniel Victorovich Munerman.
" Аксиоматический метод доказательства соответствия  формализованных в различных моделях данных запросов." <em>Современные информационные технологии и ИТ-образование</em> [Онлайн], 19.4 (2023): 893-903. Веб.  9 Aug. 2026