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