R. E. . Sharykin, “Application of formal methods in the design of a single window system”, Журнал Белорусского государственного университета. Математика. Информатика, no. 1, pp. 79–90, Apr. 2021, doi: 10.33581/2520-6508-2021-1-79-90.