On an Extensible Rule-Based Prover for Event-B. - Issam Maamria; Michael J. Butler; Andrew Edmunds; Abdolbaghi Rezazadeh (ASM, 2010)

Rewriting and Well-Definedness within a Proof System - Issam Maamria; Michael J. Butler (PAR, 2010)

Event-B Code Generation: Type Extension with Theories. - Andrew Edmunds; Michael J. Butler; Issam Maamria; Renato Silva; Chris Lovell (ABZ, 2012)

Practical Theory Extension in Event-B. - Michael J. Butler; Issam Maamria (Theories of Programming and Formal Methods, 2013)

Towards a practically extensible Event-B methodology. - Issam Maamria (2013)