Альмадхоун Самер Мохамед Махмуд. Методи пошуку помилок проектування в моделях цифрових пристроїв на мовах опису апаратури.- Дисертація канд. техн. наук: 05.13.12, Харк. нац. ун-т радіоелектрон. - Х., 2013.- 200 с.