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

Schäfer, M., Ekman, T., Moor, O., & Castagna, G. (2009). Formalising and Verifying Reference Attribute Grammars in Coq. Springer.

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

Schäfer, M., T. Ekman, O. Moor, এবং G. Castagna. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.

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

Schäfer, M., et al. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.