الرياضيات وراء لغات البرمجة

انا طالب علم حاسوب،، و الصراحة لم يتم تقديمي لمساق نظرية التحسيب او computabilty theory و الى الاثباتات في البرمجة،، المهم انني اقوم بتطوير لغة برمجة مهتمة باتجاه معين و قد انجزت منها ما انجزت و هي مبنية على اساس علمي جيد و قد قرأت في العديد من الاماكن عن القيمة المضافة اذا ما تمت اضافة الاثباتات و دراسة الجانب النظري من اللغة في بحثي،، فهل يمتلك احدكم كتباً او مواقع او مقالات يمكنكم ارشادي اليها لتطبيقها على مشروعي؟