APA-Zitierstil (7. Ausg.)

Appel, A. W., Dockins, R., Hobor, A., Beringer, L., Dodds, J., Stewart, G., . . . Leroy, X. (2014). Program logics for certified compilers. Cambridge University Press.

Chicago-Zitierstil (17. Ausg.)

Appel, Andrew W., Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, und Xavier Leroy. Program Logics for Certified Compilers. New York, NY., USA: Cambridge University Press, 2014.

MLA-Zitierstil (9. Ausg.)

Appel, Andrew W., et al. Program Logics for Certified Compilers. Cambridge University Press, 2014.