1. Najm F., Goel S., Hajj I.N. Power estimation in sequential circuits // Proc. of the 32th Design Automation Conference. - USA, 1995. - P. 635-640.
2. Luca Benini, Giovanni De Micheli. State assignment for low power dissipation // IEEE Journal of Solid-State Circuits. - Vol. 30. - № 3. - 1995. - P. 258-268.
3. Закревский А.Д. Алгоритмы преобразований таблицы переходов, устраняющие условия состязаний // Тр. СФТИ. Вып. 47. - 1965. - С. 48-55.
4. Noth W., Kolla R. Spanning tree based state encoding for low power dissipation // Proc. of DATE 99: Design, Automation and Test in Europe Conference, 1999.- P. 168-174.
5. Low-power state assignment techniques for finite state machines / P. Bacchetta, L. Daldoss, D. Scuito, C. Silvano // ISCAS 2000 - IEEE International symposium on circuits and systems. - Geneva, Switzerland, 2000. P. 641-644.
6. Закревский А.Д. Визуально-матричный метод минимизации булевых функций // Автоматика и телемеханика. - 1960. - Т. 21. - № 3. - С. 368-373.
7. Закревский А.Д. Логический синтез каскадных схем. - М.: Наука, 1981.
8. McElvain K. LGSynth’93 Benchmark Set: Version 4.0, 1993 // http://www.cbl.ncsu.edu/benchmarks