206	  Hoang, Thai Son and Abrial, Jean-Raymond  (2010) Event-B Decomposition for Parallel Programs.  In: ABZ2010.    (In Press)