Sharykin, Raman E. “Application of Formal Methods in the Design of a Single Window System”. Journal of the Belarusian State University. Mathematics and Informatics, no. 1, Apr. 2021, pp. 79-90, https://doi.org/10.33581/2520-6508-2021-1-79-90.