Babakov, R. M. “INTERMEDIATE ALGEBRA OF TRANSITIONS IN MICROPROGRAM FINAL-STATE MACHINE”. Radio Electronics, Computer Science, Control, no. 1, Oct. 2015, doi:10.15588/1607-3274-2016-1-8.