2018. تحليل فضاء الحالات للحاسبات الدورية المنتهية. مجلة جامعة اللاذقية - سلسلة العلوم الأساسية. 33, 1 (ديسمبر 2018).