Vilihura, V.; Gorbenko, Y.; Yesin, V.; Rassomakhin, S. Використання формальних моделей безпеки в захищених базах даних: Fìz.-Mat. Model. ìnf. Tehnol. 2021, 32:70-74. ФММІТ 2021, 70-74.