Vilihura, Vladislav, Yuriy Gorbenko, Vitaliy Yesin, і Serhiy Rassomakhin. «Використання формальних моделей безпеки в захищених базах даних: Fìz.-Mat. Model. ìnf. Tehnol. 2021, 32:70-74». ФІЗИКО-МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, no. 32 (Липень 7, 2021): 70–74. дата звернення Червень 9, 2026. https://www.fmmit.lviv.ua/index.php/fmmit/article/view/162.