А. А. Баркалов, Л. А. Титаренко, Я. Е. Визор, and А. В. Матвиенко, “Structural reduction for combined automata”, PIC, vol. 1, no. 57-58, pp. 12–19, May 2017.