APA ציטוט

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

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