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