APA (7th ed.) Zitazioa

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 Style (17th ed.) Zitazioa

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

MLA (9th ed.) Zitazioa

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