Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.
استشهاد بنمط شيكاغوAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
MLA استشهادAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.