Баркалов, А. А.; Титаренко, Л. А.; Визор, Я. Е.; Матвиенко, А. В. Structural Reduction for Combined Automata. PIC 2017, 1, 12-19.