1. M. Adamski and A. Barkalov. Architectural and Sequential Synthesis of Digital Devices. University of Zielona Góra Press, 2006.
2. A. Agrawala and T. Rauscher. Foundations of Microprogramming. Academic Press, New York, 1976.
3. S. I. Baranov. Logic Synthesis of Control Automata. Kluwer Academic Publishers, 1994.
4. A. A. Barkalov. Development of formalized methods of structure synthesis for compositional automata. PhD thesis, Donetsk: DonSTU, 1994. (in Russian).
5. A. A. Barkalov. Principles of optimization of logic circuit of {Moore} {FSM}. Cybernetics and System Analysis, (1):65–72, 1998. (in Russian).