Deismireacht APA

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

Chicago Edition Citation

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

Deismireacht MLA

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

Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.