ШАРЫКИН, Роман Евгеньевич. Применение формальных методов при проектировании системы одного окна. Журнал Белорусского государственного университета. Математика. Информатика, [S. l.], n. 1, p. 79–90, 2021. DOI: 10.33581/2520-6508-2021-1-79-90. Disponível em: https://journals.bsu.by/index.php/mathematics/article/view/3525. Acesso em: 19 июл. 2026.