Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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