Citazione APA

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

Stile di citazione Chicago

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

Citazione MLA

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.