R. M. Babakov, “INTERMEDIATE ALGEBRA OF TRANSITIONS IN MICROPROGRAM FINAL-STATE MACHINE”, RIC, no. 1, Oct. 2015.