APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (9e ed.) Bronvermelding

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