Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..