«Порядок опису і обробки графа автоматної моделі програми». Математичні машини і системи, вип. 3, Вересень 2021, с. 121–125, https://doi.org/10.34121/1028-9763-2021-3-121-125.