Шарыкин, Роман Евгеньевич, и Александр Николаевич Курбацкий. «Применение формальных методов при проектировании коллаборационной системы противовирусной защиты». Журнал Белорусского государственного университета. Математика. Информатика, no. 1 (март 29, 2020): 59–69. просмотрено июль 19, 2026. https://journals.bsu.by/index.php/mathematics/article/view/1102.