ШАРЫКИН, Р. Е. Применение формальных методов при проектировании системы одного окна. Журнал Белорусского государственного университета. Математика. Информатика, n. 1, p. 79–90, 12 апр.2021.