SHARYKIN, R. E. Application of formal methods in the design of a single window system. Journal of the Belarusian State University. Mathematics and Informatics, n. 1, p. 79–90, 12 Apr.2021.