Citação norma APA

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

Citação norma Chicago

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

Citação norma MLA

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

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.