Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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