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