О. О. Баркалов, Л. О. Титаренко, Я. Є. Візор, and О. В. Матвієнко, “ENCODING OF COLLECTIONS OF MICROOPERATIONS FOR THREE-LEVEL COMBINED AUTOMATON”, SBT, vol. 44, no. 4, pp. 393–400, Dec. 2019.