Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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