MUNERMAN, Victor Iosifovich; 						MUNERMAN, Daniel Victorovich.
 Аксиоматический метод доказательства соответствия  формализованных в различных моделях данных запросов.
<strong>Современные информационные технологии и ИТ-образование</strong>, [S.l.], v. 19, n. 4, dec. 2023.
ISSN 2411-1473. Доступно на: &lt;<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>&gt;. Дата доступа: 30 june 2024