Operational Realization of Output Function of Microprogram Final-State Machine - R. M. Babakov; A. A. Barkalov (Control Systems and Computers, 2017)