1. G. H. Mealy, “A Method for Synthesizing Sequential Circuits,” Bell System Technical J. 34, 1045–1079 (1955).
2. E. F. Moore, “Gedanhen-Experiments on Sequential Machines,” in Automata Studies Ed. by C. Shannon and J. McCarthy (University Press, Princeton, 1956), pp. 129–153.
3. V. M. Glushkov, Syntheis of Digital Automata (Fizmatgiz, Moscow, 1962) [in Russian].
4. V. V. Solov’ev and A. Klimovich, Logical Deign of Digital Systems Based on Programmed Logical Integrated Circuits (Goryachaya liniya-Telekom, Moscow, 2008) [in Russian].
5. Programmable Logic (Intel, 1994).