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