“مقدمة للغات الرسمية ونظريات الأتمتة” (2024) The International Journal of Engineering & Information Technology (IJEIT), 7(1), pp. 11–15. doi:10.36602/ijeit.v7i1.224.