Textmeddelande: Автоматизация анализа и синтеза структур ЭВМ и вычислительных алгоритмов: межвузовский сборник научных трудов