@Book{livre-mf,
  author = 	 {J-F. Monin},
  title = 	 {Comprendre les Méthodes formelles, 
                  panorama et outils logiques},
  publisher = 	 {Masson},
  year = 	 1996,
  series =	 {CTST},
  note =	 {Préface de G. Huet},
  annote =	 {ISBN 2-225-85304-5}
}

@Book{livre-mf-snd-ed,
  author = 	 {J-F. Monin},
  title = 	 {Introduction aux méthodes formelles},
  publisher = 	 {Hermès},
  year = 	 2000,
  series =	 {CTST},
  note =	 {Edition revue et augmentée de \cite{livre-mf}},
  annote =	 {ISBN 2-7462-0140-2}
}

@Book{book-mf,
  author = 	 {J-F. Monin},
  title = 	 {Understanding Formal Methods},
  publisher = 	 {Springer Verlag},
  note =	 {Translation of \cite{livre-mf-snd-ed}, updated. Translation editor M. Hinchey},
  annote =	 {ISBN 1-85233-247-6},
  year = 	 2002
}