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