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