Text this: Обоснование линейно-упорядоченного представления графовых моделей программ