А'Ггель Аль-Забі Б. Р. Рішення задач функціональної компоновки і верифікації при проектуванні конструктивів цифрової апаратури: автореф. дис. ... канд. техн. наук : 05.13.12 / Б. Р. А'Ггель Аль-Забі ; Нац. ун-т "Львів. політехніка". — Л., 2010. — 17 с. — укp.
Вдосконалено метод оптимальної редукції схем стосовно задач встановлення ізоморфізму графів і функціональної декомпозиції схем радіоелектронної й електронно-обчислювальної апаратури. Запропоновано й обгрунтовано нові інваріанти встановлення ізоморфізму для графів. Наведено метод встановлення ізоморфізму простих графів шляхом введення процедури встановлення ізоморфізму для доповнень графів. Вперше запропоновано та реалізовано метод встановлення еквівалентності схем на базі використання класифікаторів елементів і ланцюгів, що дозволяє встановити ступінь перекриття двох схем.