@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",
}