@inproceedings{esop09coq,
  title = "Formalising and Verifying Reference Attribute Grammars in Coq",
  author = "Max Sch\"afer and Torbj\"orn Ekman and Oege de Moor",
  year = "2009",
  booktitle = "European Symposium on Programming (ESOP)",
  editor = "Giuseppe Castagna",
  pages = "143--159",
  publisher = "Springer-Verlag",
}