Babakov, R. 2017. Accounting of probability of states in microprogram finite-state machine with datapath of transitions. Scientific Works of Vinnytsia National Technical University. 2 (Sep. 2017).