APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.