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