О. Жигаревич, М. Охочий, і І. Шукалович, «РОЗРОБКА ТА ДОСЛІДЖЕННЯ СИСТЕМИ ДЛЯ АНАЛІЗУ КРИПТОГРАФІЧНИХ ПРОТОКОЛІВ», ПКНПМБЦС, с. 30, Чер 2024.