APA引文

Andrew W Appel. (2014). Program Logics for Certified Compilers. CUP.

Chicago Edition Citation

Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.

MLA引文

Andrew W Appel. Program Logics for Certified Compilers. CUP, 2014.

警告：這些引文格式不一定是100％准確.