Schäfer, M., Ekman, T., Moor, O., & Castagna, G. (2009). Formalising and Verifying Reference Attribute Grammars in Coq. Springer.
Cytowanie według stylu Chicago (wyd. 17)Schäfer, M., T. Ekman, O. Moor, i G. Castagna. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
Cytowanie według stylu MLA (wyd. 9)Schäfer, M., et al. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..