APA (7th ed.) Citation

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.) Citation

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.

MLA (9th ed.) Citation

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