Formalising and Verifying Reference Attribute Grammars in Coq. - Schäfer, M; Ekman, T; Moor, O (ESOP, 2009)