Schäfer, M., Ekman, T., Moor, O., & Castagna, G. (2009). Formalising and Verifying Reference Attribute Grammars in Coq. Springer.
Lua i Stíl Chicago (17ú heag.)Schäfer, M., T. Ekman, O. Moor, agus G. Castagna. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
Lua MLA (9ú heag.)Schäfer, M., et al. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.