1. Поттосин, Ю.В. Метод минимизации системы полностью определенных булевых функций / Ю.В. Поттосин, Н.Р. Торопов, Е.А. Шестаков // Информатика. - 2008. - № 2 (18). - С. 102-110.
2. Торопов, Н.Р. Минимизация систем булевых функций в классе ДНФ / Н. Р. Торопов // Логическое проектирование. - Минск : Ин-т техн. кибернетики НАН Беларуси, 1999. - Вып. 4. - С. 4-19.
3. Шестаков, Е.А. Декомпозиция системы полностью определенных булевых функций по покрытию аргументов / Е.А. Шестаков // Автоматика и вычислительная техника. - 1994. - № 1. - С. 12-20.
4. Фридман, А. Теория и проектирование переключательных схем / А. Фридман, П. Менон. - М. : Мир, 1978. - 580 с.
5. Закревский, А.Д. Логический синтез каскадных схем / А.Д. Закревский. - М. : Наука, 1981. - 416 с.
6. Закревский, А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. - М. : Физматлит, 2007. - 592 с.
7. Yang, S. Logic Synthesis and Optimization Benchmarks. User Guide: Version 3.0 / S. Yang. - Technical Report, Microelectronics of North Carolina. - USA, 1991. - 43 p.