Шарыкин, Р. Е. Применение формальных методов при проектировании системы одного окна Журнал Белорусского государственного университета. Математика. Информатика 2021, 79-90.