Жора, Віктор Володимирович, і Олександр Борисович Синецький. «Використання системи формальної логіки PVS в методі формального доведення захищеності при побудові систем захисту інформації». Technology audit and production reserves 2, no. 2(58) (Квітень 30, 2021): 41–45. дата звернення Грудень 21, 2025. https://journals.uran.ua/tarp/article/view/229539.