نظرية الحساب = Computation Theory - عقل، مصباح جمعة (مكتبة المجتمع العربي للنشر والتوزيع،, 2009)