Barkalov, O.; Titarenko, L.; Matviienko, O. Synthesis of a Compositional Microprogram Control Unit With Two Cores of Partial Functions. Inf.Tech.&Syst. 2026, 9, 15–29.