V. Vilihura, Y. Gorbenko, V. Yesin, і S. Rassomakhin, «Використання формальних моделей безпеки в захищених базах даних: Fìz.-mat. model. ìnf. tehnol. 2021, 32:70-74», ФММІТ, вип. 32, с. 70–74, Лип 2021.