Твардовский А.С., Евтушенко Н.В. Синтез установочных последовательностей для автоматов с временными ограничениями // № 17, 2020
