Vilihura V, Gorbenko Y, Yesin V, Rassomakhin S. Використання формальних моделей безпеки в захищених базах даних: Fìz.-mat. model. ìnf. tehnol. 2021, 32:70-74. ФММІТ [інтернет]. 07, Липень 2021 [цит. за 26, Червень 2026];(32):70-4. доступний у: https://fmmit.lviv.ua/index.php/fmmit/article/view/162