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.

警告：这些引文格式不一定是100％准确.