Cita APA

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

Citación estilo Chicago

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

Cita MLA

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