1. On the efficient assignment of internal codes to sequential machines;Armstrong;IRE Trans. on Electronic Computers,1962
2. Sequential Logic Synthesis;Ashar,1992
3. Decomposition of Boolean Functions Specified by Cubes;Brzozowski,2003
4. Technology Mapping for TLU FPGAs Based on Decomposition of Binary Decision Diagrams;Chang;IEEE Trans. on CAD,1996
5. Optimal state assignment for finite state machines;De Micheli;IEEE Trans. on CAD,1985