1. Закревский, А.Д. Логический синтез каскадных схем / A.Д. Закревский. - М.: Наука, 1981. - 416 c.
2. Бибило, П.Н. Синтез логических схем с использованием языка VHDL / П.Н. Бибило. - М.: Солон-Р, 2002. - 384 с.
3. Бибило, П.Н. Символьная топология матричных макроэлементов СБИС в кремниевом компиляторе SCAS. I / П.Н. Бибило // Микроэлектроника. - 1998. - № 2. - С. 134-143.
4. Лукошко, Г.К. КМОП базовые матричные кристаллы серии К1574 / Г.К. Лукошко, Е.В. Коннов // Радиолюбитель. - 1997. - № 9. - С. 39-40.
5. Быстродействующие матричные БИС и СБИС. Теория и проектирование / Под общ. ред. Б.Н. Файзулаева и И.И. Шагурина. - М.: Радио и связь, 1989. - 304 с.
6. Торопов, Н.Р. Минимизация систем булевых функций в классе ДНФ / Н.Р. Торопов // Логическое проектирование. - Минск: Ин-т техн. кибернетики НАН Беларуси, 1999. - Вып. 4. - С. 4-19.
7. Леончик, П.В. Минимизация систем булевых функций в классе дизъюнктивных нормальных форм / П.В Леончик // Информатика. - 2006. - № 1. - C. 88-96.
8. Бибило, П.Н. Cистемы проектирования интегральных схем на основе языка VHDL. StateCAD, ModelSim, LeonardoSpectrum / П.Н. Бибило. - М.: СОЛОН-Пресс, 2005. - 384 с.