توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

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

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

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

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

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