@InProceedings{BMMP,
  Author         = {G. Bonfante and J.-Y. Marion and J.-Y. Moyen and R.
                   P\'echoux},
  Title          = {Synthesis of {Q}uasi-interpretation},
  BookTitle      = {Proceedings of LCC'05},
  month          = jun,
  url            = "http://www-lipn.univ-paris13.fr/~moyen/papiers/BMMP-LCC05.pdf",
  year           = 2005
}