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