Babakov, R. M., 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”. Radio Electronics, Computer Science, Control, no. 4, Dec. 2024, pp. 143-52, doi:10.15588/1607-3274-2024-4-14.