@Article{	  yilmaz.ea:development:2010,
  author	= {Emre Yilmaz and Thai Son Hoang},
  copyright	= {EASST},
  copyrighturl	= {http://journal.ub.tu-berlin.de/eceasst/about/submissions#copyrightNotice}
		  ,
  journal	= {Electronic Communications of the EASST},
  language	= {USenglish},
  title		= {Development of Rabin's Choice Coordination Algorithm in
		  Event-B},
  url		= {http://journal.ub.tu-berlin.de/eceasst/issue/view/46},
  volume	= 35,
  year		= 2010,
  user		= {htson}
}