APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.