@ARTICLE{Badeau04,
  author = {Badeau, F. and Bert, D. and Boulmé, S. and Métayer, C. and Potet,
	M.-L. and Stouls, N. and Voisin, L.},
  title = {Traduction de {B} vers des langages de programmation},
  journal = {TSI},
  year = {2004}
}