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