APA (7 ম সংস্করণ) উদ্ধৃতি

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

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

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

M.L.A (9 ম সংস্করণ) উদ্ধৃতি

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