APA način citiranja

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

Čikaški stil citiranja

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

MLA način citiranja

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

Upozorenje: Ovi citati možda nisu uvijek 100% točni.