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