Sharykin, R. E. . Application of Formal Methods in the Design of a Single Window System. Журнал Белорусского государственного университета. Математика. Информатика 2021, No. 1, 79-90. https://doi.org/10.33581/2520-6508-2021-1-79-90.