Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.
Chicago Stili AlıntıAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
MLA AlıntıAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..