Dyfyniad APA

Schäfer, M., Ekman, T., Moor, O., & Castagna, G. (2009). Formalising and Verifying Reference Attribute Grammars in Coq. Springer.

Dyfyniad Arddull Chicago

Schäfer, M., T. Ekman, O. Moor, and G. Castagna. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.

Dyfyniad MLA

Schäfer, M., et al. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.