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.) CitationAppel, 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.) CitationAppel, Andrew W., et al. Program Logics for Certified Compilers. Cambridge University Press, 2014.
Warning: These citations may not always be 100% accurate.