R. M. . Babakov, A. A. . Barkalov, and L. A. . Titarenko, “MULTIPROCESS IMPLEMENTATION OF ALGORITHMS FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE”, RIC, no. 2, pp. 136–147, Jun. 2026.