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