Закревский А. Д., Торопов Н. Р. РЕАЛИЗАЦИЯ ЭВРИСТИЧЕСКОГО МЕТОДА ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФУНКЦИЙ // Информатика. 2008 №4(20). С.41-49.