[Доклады] / Науч. руководитель акад. В. М. Глушков. Новый алгоритм абстрактного синтеза автоматов] / [Спивак, М. А. — 1963. — 43 с. (1963)