Степанян, К. Формализация двумерных графо-подобных диаграмм. CTE 2014.