Babakov, R. M. ., A. A. . Barkalov, and L. A. . Titarenko. “MULTIPROCESS IMPLEMENTATION OF ALGORITHMS FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE”. Radio Electronics, Computer Science, Control, no. 2, June 2026, pp. 136-47, doi:10.15588/1607-3274-2026-2-12.