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