R. M. Babakov, A. A. Barkalov, L. A. Titarenko, and M. O. Voitenko, “ALGORITHMIC DIFFERENCES OF COMPLETE AND PARTIAL ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE WITH DATAPATH OF TRANSITIONS”, RIC, no. 4, pp. 143–152, Dec. 2024.