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