Описан метод синтеза автомата по его спецификации в логическом языке, составляющем подмножество логики предикатов первого порядка. Как выбор подмножества языка для спецификации, так и метод синтеза автомата основан на теореме о спецификации, устанавливающей связь между структурой формулы спецификации и синтезируемым автоматом.

Управляющие системы и машины [Текст] : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — статьи публ.на русск.укр. и англ .яз. — К.

• УДК // Теорія керуючих систем: математичні аспекти