Munerman, V., & 		Munerman, D.
(2023).
 Аксиоматический метод доказательства соответствия  формализованных в различных моделях данных запросов.
<em>Современные информационные технологии и ИТ-образование, 19</em>(4).
Получено с <a href="http://sitito.cs.msu.ru/index.php/SITITO/article/view/1041" target="_new">http://sitito.cs.msu.ru/index.php/SITITO/article/view/1041</a>