Шарыкин, Роман Евгеньевич, и Александр Николаевич Курбацкий. «Применение формальных методов при проектировании коллаборационной системы противовирусной защиты». Журнал Белорусского государственного университета. Математика. Информатика, вып. 1, март 2020 г., сс. 59-69, https://doi.org/10.33581/2520-6508-2020-1-59-69.