Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.
Chicago Style citaatAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
MLA citatieAndrew W Appel. Program Logics for Certified Compilers. CUP, 2014.
Let op: Deze citaties zijn niet altijd 100% accuraat.