Text this: Обоснование линейно-упорядоченного представления графовых моделей программ; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика