1. G. H. Mealy, “Method for Synthesizing Sequential Circuits,” Bell Syst. Tech. J. 34, 1045–1079 (1955).
2. E. F. Moore, “Gedanken-Experiments on Sequential Machines,” in Automata Studies (Princeton Univ. Press, Princeton, 1956), pp. 129–153.
3. E. McCluskey, Logic Design Principles (Prentice-Hall, Englewood Cliffs, NJ, 1986).
4. V. V. Solov’ev and A. G. Vasil’ev, Programmable Logic Devices and Their Application (Belorusskaya nauka, Minsk, 1998) [in Russian].
5. V. Solov’ev and M. Chyzy, “Models of the Finite State Machines,” in Proc. of the Sixth Int. Conf. on Methods and Models in Automation and Robotics (MMAR 2000), Miedzyzdroje, Poland, 2000, Vol. 2, pp. 909–914.