Text this: Формальные модели параллельных вычислений: сборник научных трудов