Babakov, R. M. .; Barkalov, A. A. .; Titarenko, L. A. . MULTIPROCESS IMPLEMENTATION OF ALGORITHMS FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE. RIC 2026, 136-147.