Text this: Труды Института системного программирования РАН