Цитирование 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.

Цитирование MLA (9-е изд.)

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.