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, और G. Castagna. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
एमएलए (9वां संस्करण) प्रशस्ति पत्रSchäfer, M., et al. Formalising and Verifying Reference Attribute Grammars in Coq. Springer, 2009.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.