@InProceedings{	  hoang.ea:event-b:2009-b,
  author	= {Thai Son Hoang and Andreas F\"urst and Jean-Raymond
		  Abrial},
  booktitle	= {SEFM 2009},
  editor	= {Dang Van Hung and Padmanabhan Krishnan},
  language	= {USenglish},
  publisher	= {IEEE Computer Society Press},
  title		= {Event-B Patterns and Their Tool Support},
  year		= 2009,
  user		= {htson}
}