@INPROCEEDINGS{GibsonLalletRaffy09III,
  author = {Gibson, {J. Paul} and Lallet, Eric  and Raffy, Jean-Luc},
  title = {Sculpturing {Event-B} Models with {Rodin}: ``Holes and Lumps'' in Teaching Refinement through Problem-Based Learning},
  booktitle = {From Research to Teaching Formal Methods - The B Method  {(TFM B'2009)}},
  year = {2009},
  address = {Nantes, France},
publisher = {APCB},
pages = {7--21},
editors = {Attiogbe and Mery},
isbn = {2951246102} 
}