Schäfer, M., Ekman, T., Moor, O., & Castagna, G. (2009). Formalising and Verifying Reference Attribute Grammars in Coq. Springer.
Style de citation Chicago (17e éd.)Schäfer, M., T. Ekman, O. Moor, et G. Castagna. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
Style de citation MLA (9e éd.)Schäfer, M., et al. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
Attention : ces citations peuvent ne pas être correctes à 100%.