@InProceedings{BFM99BUG,
      Author = "Jean-Paul Bodeveix and Mamoun Filali and C{\'e}sar Mu{\~{n}}oz",
      Title  = "A Formalization of the {B}-Method in {Coq} and {PVS}",
      booktitle={Electronic Proceedings of the B-User Group Meeting 
      at the World Congress on Formal Methods FM 99},
      Pages = "33--49",
      Year = {1999}}

@article{BFM01TSI,
      Author = "Jean-Paul Bodeveix and Mamoun Filali and C{\'e}sar Mu{\~{n}}oz",
      Title = "Formalisation de la m\'ethode {B} en {C}oq et {PVS}",
      year = 2001,
      journal = {Technique et science informatique},
      volume = 20,
      pages = "901--926",
      number = 7}