1. McCluskey, E.J.: Reduction of feedback loops in sequential circuits and carry leads in iterative networks. Inf. Control 2, 99–118 (1963)
2. Pomeranz, I., Cheng, K.T.: STOIC: state assignment based on output/input functions. IEEE Trans. CAD 8, 613–622 (1993)
3. Forrest, J.: ODE: output direct state machine encoding. In: European Design Automation Conference (EURO-DAC 1995), Brighton, UK, pp. 600–605 (1995)
4. Solovjev, V.: Synthesis of sequential circuits on programmable logic devices based on new models of finite state machines. In: Euromicro Symposium on Digital Systems Design (DSD 2001), Warsaw. Poland, pp. 170–173 (2001)
5. Solov’ev V.V.: Minimization of mealy finite-state machines by using the values of the output variables for state assignment. J. Comput. Syst. Sci. Int. 1, 96–104 (2017)