Text this: Теория программирования и средства описания параллелизма дискретных систем: сборник научных трудов