Incremental Database Design using UML-B and Event-B. - Ahmed Al-Brashdi; Michael J. Butler; Abdolbaghi Rezazadeh (IMPEX/FM&MDD, 2017)

Incremental and rigorous database design and code generation using UML-B and event-B - Ahmed Al-Brashdi (2020)