APA (7th ed.) Citation

Appel, A. W. (2014). Program logics for certified compilers. Cambridge University Press.

Chicago Style (17th ed.) Citation

Appel, Andrew W. Program Logics for Certified Compilers. Cambridge ; New York: Cambridge University Press, 2014.

MLA (9th ed.) Citation

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