1. ABC System (2018). https://people.eecs.berkeley.edu/~alanmi/abc/.
2. Altera (2018). Cyclone IV Device Handbook, http://www.altera.com/literature/hb/cyclone-iv/cyclone4-handbook.pdf.
3. Baranov, S. (1994). Logic Synthesis of Control Automata, Kluwer, Boston, MA.10.1007/978-1-4615-2692-6
4. Baranov, S. (2008). Logic and System Design of Digital Systems, TUT Press, Tallinn.
5. Barkalov, A.A. and Barkalov, Jr., A.A. (2005). Design of Mealy finite-state machines with the transformation of object codes, International Journal of Applied Mathematics and Computer Science 15(1): 151-158.