O. Barkalov, L. Titarenko, and O. Matviienko, “Synthesis of a Compositional Microprogram Control Unit with Two Cores of Partial Functions”, Inf.Tech.&Syst., vol. 9, no. 3, pp. 15–29, Aug. 2026.