حسن م. and محمد ج., “تحليل فضاء الحالات للحاسبات الدورية المنتهية”, TUJ-BA, vol. 33, no. 1, Dec. 2018.