Schäfer, M., Ekman, T., Moor, O., & Castagna, G. (2009). Formalising and Verifying Reference Attribute Grammars in Coq. Springer.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումSchäfer, M., T. Ekman, O. Moor, and G. Castagna. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
MLA (9րդ խմբ.) ՄեջբերումSchäfer, M., et al. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.