Cita APA

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

Citación estilo Chicago

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

Cita MLA

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