APA citiranje

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

Chicago Style (17th ed.) Citation

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

MLA citiranje

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