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 (April 12, 2021): 79–90. Accessed July 19, 2026. https://journals.bsu.by/index.php/mathematics/article/view/3525.