1. Закревский А.Д. Логический синтез каскадных схем. - М.: Наука, 1981. - 416 c.
2. Бибило П.Н., Енин С.В. Синтез комбинационных схем методами функциональной декомпозиции. - Мн.: Наука и техника, 1987. - 189 c.
3. Бибило П.Н. Синтез комбинационных ПЛМ-структур для СБИС. - Мн.: Навука i тэхнiка, 1992. - 232 с.
4. Шестаков Е.А. Декомпозиция системы полностью определенных булевых функций по покрытию аргументов // Автоматика и вычислительная техника. - 1994. - № 1. - С. 12-20.
5. Pottosin Yu., Shestakov E. Decomposition of systems of completely specified Boolean functions using their compact table representation // Boolean Problems. 4th International Workshop. - Freiberg (Sachen), 2000. - P. 135-142.
6. Brzozowski J.A., Lou J.J. Decomposition of Boolean functions specified by cubes // Research Report CS-97-01, Department of Computer Science, University of Waterloo. - Waterloo, Canada, 1997. - 36 p.
7. Brzozowski J.A., Luba T. Decomposition of Boolean Functions Specified by Cubes, Part 1: Theory of Serial Decompositions Using Blankets, Research Report CS-97-01, Dept. of Comp. Sci., University of Waterloo. - Waterloo, Canada, 1998.
8. Поттосин Ю.В., Шестаков Е.А. О табличном задании систем полностью определенных булевых функций // Информатика. - 2004. - № 1. - С. 139-147.
9. Поттосин Ю.В., Шестаков Е.А. Декомпозиция систем полностью определенных булевых функций по их заданию в виде компактных таблиц // Информатика. - 2004. - № 2. - С. 35-44.
10. Поттосин Ю.В., Шестаков Е.А. Декомпозиция системы булевых функций по заданной системе выходных функций // Методы логического проектирования. Вып. 1. - Мн.: ОИПИ НАН Беларуси, 2002. - С. 75-84.