Michael Poppleton: The Composition of Event-B Models. ABZ 2008: 209-222