حسن م.; محمد ج. تحليل فضاء الحالات للحاسبات الدورية المنتهية. TUJ-BA 2018, 33.