@article{Babakov:2016,
author
=
"R.Babakov and O.Barkalov",
title
=
"Algebraic interpretation of a microprogram finite-state machine with datapath of transitions",
journal
=
"Cybernetics and Systems Analysis",
volume
=
"Vol. 52",
number
=
"no. 2",
pages
=
"191--198",
year
=
"2016",
}