2018. تحليل فضاء الحالات للحاسبات الدورية المنتهية. Latakia University Journal -Basic Sciences Series. 33, 1 (Dec. 2018).