Шарыкин, Р.Е. 2021. Применение формальных методов при проектировании системы одного окна. Журнал Белорусского государственного университета. Математика. Информатика. 1 (апр. 2021), 79-90. DOI:https://doi.org/10.33581/2520-6508-2021-1-79-90.