"تحليل فضاء الحالات للحاسبات الدورية المنتهية", TUJ-BA, م 33, عدد 1, ديسمبر 2018, تاريخ الوصول: أكتوبر 24, 2026. موجود في: https://journal.latakia-univ.edu.sy/index.php/bassnc/article/view/5199