Trích dẫn APA

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

Trích dẫn kiểu Chicago

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

Trích dẫn MLA

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

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.