Шарыкин, Роман Евгеньевич. «Применение формальных методов при проектировании системы одного окна». Журнал Белорусского государственного университета. Математика. Информатика, no. 1 (апрель 12, 2021): 79–90. просмотрено июль 19, 2026. https://journals.bsu.by/index.php/mathematics/article/view/3525.