@Unpublished{	  hoang:event-b:2009,
  author	= {Thai Son Hoang},
  language	= {USenglish},
  month		= 9,
  note		= {Dagstuhl Seminar 09318},
  title		= {Event-B Decomposition for Parallel Programs},
  url		= {http://www.dagstuhl.de/Materials/index.en.phtml?09381},
  year		= 2009,
  user		= {htson}
}