Білаль, Р. А’Г. Аль-З. Розв’язання задач функціональної компоновки і верифікації при проектуванні конструктивів цифрової апаратури [Електронний ресурс] : автореф. дис. … канд. техн. наук : спец. 05.13.12 «Системи автоматизації проектувальних робіт» / Білаль Раді А’Ґґель Аль–Забі ; Національний університет “Львівська політехніка” Міністерства освіти і науки, молоді та спорту України. – Львів, 2010. – 20 с.