Schäfer, M., Ekman, T., Moor, O., & Castagna, G. (2009). Formalising and Verifying Reference Attribute Grammars in Coq. Springer.
Chicago-čujuhus (17. p.)Schäfer, M., T. Ekman, O. Moor, juo G. Castagna. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
MLA-čujuhus (9. p.)Schäfer, M., et al. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.