1. V. M. Glushkov, Synthesis of Digital Automata [in Russian], Fizmatgiz, Moscow (1962).
2. S. I. Baranov, Synthesis of Microprogrammed Automata [in Russian], Energiya, Leninrad (1979).
3. A. A. Barkalov, Synthesis of Control Units on PLDs [in Russian], DonNTU, Donetsk (2002).
4. G. DeMicheli, Synthesis and Optimization of Digital Circuits, McGraw-Hill, New York (1994).
5. A. Barkalov, L. Titarenko, M. Kolopienczyk, K. Mielcarek, and G. Bazydlo, Logic Synthesis for FPGA-Based Finite State Machines, Springer, Cham (2016).