Sharykin, Raman E., and Alexander N. Kourbatski. “Application of Formal Methods in the Design of a Collaborative Virus Defense System”. Journal of the Belarusian State University. Mathematics and Informatics, no. 1, Mar. 2020, pp. 59-69, https://doi.org/10.33581/2520-6508-2020-1-59-69.