Munerman, V., & 		Munerman, D.
(2023).
 Аксиоматический метод доказательства соответствия  формализованных в различных моделях данных запросов.
<em>Современные информационные технологии и ИТ-образование, 19</em>(4), 893-903.
doi:10.25559/SITITO.019.202304.893-903