1. Мурога, С. Системное проектирование сверхбольших интегральных схем. В 2-х кн. Кн. 1 / С. Мурога. - М. : Мир, 1985. - 288 с.
2. Pedram, M. Power minimization in IC design: Principles and applications / M. Pedram // ACM Trans. Design Automat. Electron. Syst. - 1996. - Vol. 1. - P. 3-56.
3. Kashirova, L. State assignment of finite state machine for decrease of power dissipation / L. Kashirova, A. Keevallik, M. Meshkov // Second Intern. Conf. Computer-Aided Design of Discrete Devices. - Minsk : Institute of Engineering Cybernetics NAS of Belarus, 1997. - Vol. 1. - P. 60- 67.
4. Sudnitson, A. Partition search for FSM low power synthesis / А. Sudnitson // Fourth Intern. Conf. Computer-Aided Design of Discrete Devices. - Minsk : Institute of Engineering Cybernetics NAS of Belarus, 2001. - Vol. 1. - P. 44-49.
5. Закревский, А.Д. Алгоритмы энергосберегающего кодирования состояний автомата / А.Д. Закревский // Информатика. - 2011. - № 1(29). - С. 68-78.
6. Закревский, А.Д. Алгоритмы синтеза дискретных автоматов / А.Д. Закревский. - М. : Наука, 1971. - 512 с.
7. Ангер, С. Асинхронные последовательностные схемы / С. Ангер. - М. : Наука, 1977. - 400 с.
8. Синтез асинхронных автоматов на ЭВМ / под ред. А.Д. Закревского. - Минск : Наука и техника, 1975. - 184 с.
9. Автоматизированное проектирование цифровых устройств / под ред. С.С. Бадулина. - М. : Радио и связь, 1981. - 240 с.
10. Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. - М. : Физматлит, 2007. - 592 с.
11. Закревский, А.Д. Оптимизация покрытий множеств / А.Д. Закревский // Логический язык для представления алгоритмов синтеза релейных устройств. - М. : Наука, 1966. - С. 136-148.