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.