"51","Decomposition Structures for Event-B","","http://deploy-eprints.ecs.soton.ac.uk/51/","Butler, Michael","UNSPECIFIED","       <span class=\"person_name\">Butler, Michael</span>     (2009)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/51/\"><em>Decomposition Structures for Event-B.</em></a>       In: Integrated Formal Methods iFM2009.         (In Press)   ","","2009-02"