@BOOK{Jezequel04f,
  title = {Approches formelles pour le développement de logiciels},
  publisher = {Hermes-Lavoisier},
  year = {2004},
  editor = {Jézéquel, Jean-Marc and Souquières, Jeanine},
  volume = {23},
  number = {7},
  series = {RSTI série TSI}
}