Butler, Michael and Maamria, Issam  (2010) Mathematical Extension in Event-B through the Rodin Theory Component.  Technical Report. Deploy Project.    (Unpublished)