“تحليل فضاء الحالات للحاسبات الدورية المنتهية”. 2018. Latakia University Journal -Basic Sciences Series 33 (1). https://journal.latakia-univ.edu.sy/index.php/bassnc/article/view/5199.